Community
Participate
Working Groups
Analysis actions had no shortcuts associated with them
Created attachment 86476 [details] Tool bar focus fix
Pls have the patch reviewed and commit the fix to Head
Sorry Mohammed. Just realized that I asked for a code review forgetting momentarily that you are now a committer : ). No code review is necessary. Please commit the patch to Head and resolve the defect. Thanks.
Patch applied to Head
As of TPTP 4.6.0, TPTP is in maintenance mode and focusing on improving quality by resolving relevant enhancements/defects and increasing test coverage through test creation, automation, Build Verification Tests (BVTs), and expanded run-time execution. As part of the TPTP Bugzilla housecleaning process (see http://wiki.eclipse.org/Bugzilla_Housecleaning_Processes), this enhancement/defect is verified/closed by the Project Lead since this enhancement/defect has been resolved and unverified for more than 1 year and considered to be fixed. If this enhancement/defect is still unresolved and reproducible in the latest TPTP release (http://www.eclipse.org/tptp/home/downloads/), please re-open.