Overview Tab

The General Information section provides the Workbench Location name (workLOC in this example), the path to the workLOC file (/pluginProj/src/workLOC.location), and the host name (host).

The Property Groups section provides links to  Eclipse Workbench Properties and General Properties. These also have their own sections and tabs in the editor. Selecting  Eclipse Workbench Properties or General Properties anywhere within the Overview tab page has the same effect as selecting their respective editor tabs.

 

Eclipse Workbench Properties Tab

 

This page offers facilities to set particular Eclipse Workbench properties. Notice that, in the Overview page, the links provided in the Eclipse Workbench Properties section:

 

all result, if selected, in the editor switching to the Eclipse Workbench Properties tab page where the actual relevant property setting facilities are found.

Of particular interest to TPTP JUnit Plug-in Test users are the properties eclipseLocation, allowReuse, headless, and uiThread, for which options were provided when creating the Workbench Location.

The other properties should already be familiar to Eclipse Plug-in developers.

General Properties Tab

 

The General Properties page provides facilities to add additional properties over and above those specifiable in the Eclipse Workbench Properties page. A detailed explanation of how to configure General Properties is given in the topic Creating a Test Deployment.