Community
Participate
Working Groups
During a demo/review today, it was suggested that the tree of profiling types should be sorted somehow - perhaps by name, but what might be even better is to sort by "importance" or "likelihood" or something. Perhaps plug-ins could specify a sort order value, say from 1 to 100, and if two items have the same value they'll be sorted alphabetically. Combined with some documentation guidelines, this could be used to group sets of related profiling types together while also being flexible enough to handle loose coupling of contributors.
*** This bug has been marked as a duplicate of 61283 ***
house keeping
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.