Community
Participate
Working Groups
Screen shots in the "Importing JUnit Tests into a TPTP JUnit Test" section (org.eclipse.hyades.test.doc.user/tasks/tptpJUnitTest_importing.htm) do not account for the "JUnit plugin tests to TPTP" wizard option.
Created attachment 29195 [details] Adds screen shots to resolve 114792 Added screen shots to account for the "JUnit plugin tests to TPTP" wizard option. Affected files: ..\org.eclipse.hyades.test.doc.user\images_junit\importing_files\image001.png ..\org.eclipse.hyades.test.doc.user\images_junit\importing_files\image005.png I also needed to edit the source html document, which included hard-coded image sizes. Affected file: ..\org.eclipse.hyades.test.doc.user\tasks\tptpJUnitTest_importing.htm
Note: I opened a related defect to change the "plugin" to "plug-in" in the UI (https://bugs.eclipse.org/bugs/show_bug.cgi?id=114807)
Approved by Harm, reviewed by Ruth and checked in.
ACTION: Please verify/close this defect.
Closing by default since not closed by the originator in the 7+ months since being resolved. Please reopen if the issue is still present in the latest TPTP release or the resolution is not correct.