-package org.simantics.scl.ui.browser;\r
-\r
-import org.eclipse.core.commands.AbstractHandler;\r
-import org.eclipse.core.commands.ExecutionEvent;\r
-import org.eclipse.core.commands.ExecutionException;\r
-import org.eclipse.swt.SWTError;\r
-import org.eclipse.swt.layout.FillLayout;\r
-import org.eclipse.swt.widgets.Display;\r
-import org.eclipse.swt.widgets.Shell;\r
-import org.eclipse.ui.PlatformUI;\r
-\r
-public class LaunchSCLDocumentationBrowser extends AbstractHandler {\r
-\r
- @Override\r
- public Object execute(ExecutionEvent event) throws ExecutionException {\r
- Display display = PlatformUI.getWorkbench().getDisplay();\r
- Shell shell = new Shell(display);\r
- shell.setText("SCL Documentation browser");\r
- shell.setLayout(new FillLayout());\r
- SCLDocumentationBrowser browser;\r
- try {\r
- browser = new SCLDocumentationBrowser(shell);\r
- } catch (SWTError e) {\r
- System.out.println("Could not instantiate the browser: " + e.getMessage());\r
- display.dispose();\r
- return null;\r
- }\r
- browser.setLocation("Prelude");\r
- shell.open();\r
- \r
- return null;\r
- }\r
-\r
-}\r
+package org.simantics.scl.ui.browser;
+
+import org.eclipse.core.commands.AbstractHandler;
+import org.eclipse.core.commands.ExecutionEvent;
+import org.eclipse.core.commands.ExecutionException;
+import org.eclipse.swt.SWTError;
+import org.eclipse.swt.layout.FillLayout;
+import org.eclipse.swt.widgets.Display;
+import org.eclipse.swt.widgets.Shell;
+import org.eclipse.ui.PlatformUI;
+
+public class LaunchSCLDocumentationBrowser extends AbstractHandler {
+
+ @Override
+ public Object execute(ExecutionEvent event) throws ExecutionException {
+ Display display = PlatformUI.getWorkbench().getDisplay();
+ Shell shell = new Shell(display);
+ shell.setText("SCL Documentation browser");
+ shell.setLayout(new FillLayout());
+ SCLDocumentationBrowser browser;
+ try {
+ browser = new SCLDocumentationBrowser(shell);
+ } catch (SWTError e) {
+ System.out.println("Could not instantiate the browser: " + e.getMessage());
+ display.dispose();
+ return null;
+ }
+ browser.setLocation("Prelude");
+ shell.open();
+
+ return null;
+ }
+
+}