import org.eclipse.osgi.service.datalocation.Location;
import org.eclipse.osgi.util.NLS;
import org.eclipse.swt.SWT;
+import org.eclipse.swt.widgets.Composite;
+import org.eclipse.swt.widgets.Control;
import org.eclipse.swt.widgets.Display;
import org.eclipse.swt.widgets.MessageBox;
import org.eclipse.swt.widgets.Shell;
return args.containsKey("-pdelaunch"); //$NON-NLS-1$
}
+ private static class ChooseSimanticsWorkspaceDialog extends ChooseWorkspaceDialog {
+
+ public ChooseSimanticsWorkspaceDialog(Shell parentShell, ChooseWorkspaceData launchData, boolean suppressAskAgain, boolean centerOnMonitor) {
+ super(parentShell, launchData, suppressAskAgain, centerOnMonitor);
+ }
+
+ @Override
+ protected void configureShell(Shell shell) {
+ super.configureShell(shell);
+ // Use product name in shell title instead of generic "Eclipse Launcher"
+ shell.setText(getWindowTitle());
+ }
+ }
+
/**
* Open a workspace selection dialog on the argument shell, populating the
* argument data with the user's selection. Perform first level validation
URL url = null;
do {
// okay to use the shell now - this is the splash shell
- new ChooseWorkspaceDialog(shell, launchData, suppressAskAgain, true).prompt(force);
+ new ChooseSimanticsWorkspaceDialog(shell, launchData, suppressAskAgain, true).prompt(force);
+
String instancePath = launchData.getSelection();
if (instancePath == null) {
return null;