commit | 5fa577066fe51fdb3a112c573e121cd19709d371 | [log] [tgz] |
---|---|---|
author | Dimitris Kolovos <dkolovos@cs.york.ac.uk> | Fri Jul 16 06:00:15 2021 +0100 |
committer | Dimitris Kolovos <dkolovos@cs.york.ac.uk> | Fri Jul 16 06:00:15 2021 +0100 |
tree | 146d609cd830afc1abbb5510c15ce38d1e147fd7 | |
parent | a59508045f1a8fff38582d7a5078749a68744f37 [diff] |
No need to replace tabs with spaces in the Flexmi editor
diff --git a/plugins/org.eclipse.epsilon.flexmi.dt/src/org/eclipse/epsilon/flexmi/dt/FlexmiEditor.java b/plugins/org.eclipse.epsilon.flexmi.dt/src/org/eclipse/epsilon/flexmi/dt/FlexmiEditor.java index ff07c47..f6334b7 100644 --- a/plugins/org.eclipse.epsilon.flexmi.dt/src/org/eclipse/epsilon/flexmi/dt/FlexmiEditor.java +++ b/plugins/org.eclipse.epsilon.flexmi.dt/src/org/eclipse/epsilon/flexmi/dt/FlexmiEditor.java
@@ -208,7 +208,6 @@ Display.getDefault().asyncExec(() -> refreshText()); } - code = code.replaceAll("\t", " "); FlexmiParseException parseException = null; ResourceSet resourceSet = new ResourceSetImpl();