Community
Participate
Working Groups
Build ID: ALL Steps To Reproduce: 1. Create a datapool file in test perspective 2. Rename the file using context menu's "Rename" op 3. Attempt to create new datapool file with same name as in (1). This is probably true for any of TPTP assets that display internal name (vs. file name). More information:
Jerome (or Patrick), please provide a sizing.
This defect is covered by the following enhancement: https://bugs.eclipse.org/bugs/show_bug.cgi?id=166025 *** This bug has been marked as a duplicate of bug 166025 ***
Reporter: Please verify and close in preparation for shutting down the TPTP 4.4 release. Thanks.
verified
Verified in the TPTP-4.5.0-200806070100 build (see attached screen capture).
Created attachment 104463 [details] Screen capture.