Community
Participate
Working Groups
Bring up the profile launch dialog. Switch to the Profiling | Overview tab. To the right of the profiling sets, there are 3 buttons (Add, Remove and Edit). Mousing over these buttons, shows wrong tooltips Add: "Add filter to table" Remove: "Remove selected filter" Edit...: "Edit selected filter" These should rather be "profiling set".
Created attachment 21835 [details] patch
PII is freezed in 4.0 unless it's a stop ship PII change; move to 4.1
patch submitted
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.