]> gerrit.simantics Code Review - simantics/platform.git/blobdiff - bundles/org.simantics.modeling.ui/src/org/simantics/modeling/ui/componentTypeEditor/SCLEditorBaseUndoHandler.java
Fixed all line endings of the repository
[simantics/platform.git] / bundles / org.simantics.modeling.ui / src / org / simantics / modeling / ui / componentTypeEditor / SCLEditorBaseUndoHandler.java
index 119650b55a7c77263d1f1e5131e199407ef01ede..62c54d04e6ac6682bb263f375724916cfcea3227 100644 (file)
@@ -1,23 +1,23 @@
-package org.simantics.modeling.ui.componentTypeEditor;\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.ui.PlatformUI;\r
-\r
-public class SCLEditorBaseUndoHandler extends AbstractHandler {\r
-\r
-    @Override\r
-    public Object execute(ExecutionEvent event) throws ExecutionException {\r
-        String id = event.getCommand().getId();\r
-        SCLEditorBase editor = (SCLEditorBase)PlatformUI.getWorkbench().getActiveWorkbenchWindow().getActivePage().getActiveEditor();\r
-        if(id.equals("org.eclipse.ui.edit.undo")) {\r
-            editor.editor.getUndoManager().undo();\r
-        }\r
-        else {\r
-            editor.editor.getUndoManager().redo();\r
-        }\r
-        return null;\r
-    }\r
-\r
-}\r
+package org.simantics.modeling.ui.componentTypeEditor;
+
+import org.eclipse.core.commands.AbstractHandler;
+import org.eclipse.core.commands.ExecutionEvent;
+import org.eclipse.core.commands.ExecutionException;
+import org.eclipse.ui.PlatformUI;
+
+public class SCLEditorBaseUndoHandler extends AbstractHandler {
+
+    @Override
+    public Object execute(ExecutionEvent event) throws ExecutionException {
+        String id = event.getCommand().getId();
+        SCLEditorBase editor = (SCLEditorBase)PlatformUI.getWorkbench().getActiveWorkbenchWindow().getActivePage().getActiveEditor();
+        if(id.equals("org.eclipse.ui.edit.undo")) {
+            editor.editor.getUndoManager().undo();
+        }
+        else {
+            editor.editor.getUndoManager().redo();
+        }
+        return null;
+    }
+
+}