]> gerrit.simantics Code Review - simantics/platform.git/commitdiff
Merge "(refs #7250) Cleaning up CHR code generation"
authorHannu Niemistö <hannu.niemisto@semantum.fi>
Mon, 29 May 2017 13:36:07 +0000 (16:36 +0300)
committerGerrit Code Review <gerrit2@www.simantics.org>
Mon, 29 May 2017 13:36:07 +0000 (16:36 +0300)
bundles/org.simantics.ui/src/org/simantics/ui/workbench/editor/OpenDefaultEditor.java

index 4e75611e03bf4515d57f7b08ce3a6b4f5a84612b..341fbf3a60381ec81cff0efb110fa9b7bad2c69c 100644 (file)
@@ -46,7 +46,7 @@ public class OpenDefaultEditor implements IDoubleClickAction {
                         protected void safeRun() throws Exception {
                             super.safeRun();
 
-                            if (rememberChoice) {
+                            if (rememberChoice && a.getPriority() >= 0) {
                                 // Make this choice the default for the next time.
                                 EditorRegistry.getInstance().getMappings().put(getResource(), getAdapter());
                             }