#189 disabled checkbox in preferences

Nodeclipse · Sep 23, 2015 · 5b1f21f · 5b1f21f
1 parent 455f78f
commit 5b1f21f
Show file tree

Hide file tree

Showing 2 changed files with 11 additions and 1 deletion.
diff --git a/...gins/org.chromium.debug.ui/src/org/chromium/debug/ui/preferences/PreferenceConstants.java b/...gins/org.chromium.debug.ui/src/org/chromium/debug/ui/preferences/PreferenceConstants.java
@@ -26,4 +26,6 @@ public class PreferenceConstants {
 	public static final RGB DEFAULT_COLOR_NUMBER = new RGB(0, 0, 0);
 	public static final RGB DEFAULT_COLOR_NORMAL = new RGB(0, 0, 0);
 
+	public static final String TREAT_NODE_012_COMPILE_ERROR = "nodeclipse189";
+
 }	
diff --git a/...s/plugins/org.chromium.debug.ui/src/org/chromium/debug/ui/preferences/PreferencePage.java b/...s/plugins/org.chromium.debug.ui/src/org/chromium/debug/ui/preferences/PreferencePage.java
@@ -8,14 +8,14 @@
 import org.eclipse.swt.widgets.Composite;
 import org.eclipse.ui.IWorkbench;
 import org.eclipse.ui.IWorkbenchPreferencePage;
-//+
 
 /**
  * @author Benjamin gurok
  * @author Paul Verest
  */
 public class PreferencePage extends FieldEditorPreferencePage implements IWorkbenchPreferencePage {
 
+	private BooleanFieldEditor treatCompileErrorAsAfterCompile;
 	private ColorFieldEditor colorComment;
     private ColorFieldEditor colorDoc;
     private ColorFieldEditor colorKeyword;
@@ -38,6 +38,14 @@ public void init(IWorkbench workbench) {
 	protected void createFieldEditors() {
 
 	    Composite parent = getFieldEditorParent();
+
+	    // Nodeclipse/nodeclipse-1/issues/189
+	    treatCompileErrorAsAfterCompile = new BooleanFieldEditor(PreferenceConstants.TREAT_NODE_012_COMPILE_ERROR, 
+        		"#189 Treat the 'compileError' event as the 'afterCompile' event "
+        				+"(for Node v0.11.14..0.12.2, see  joyent/node#25266 joyent/node#25358)", getFieldEditorParent());
+	    treatCompileErrorAsAfterCompile.setEnabled(false, parent);
+        addField(treatCompileErrorAsAfterCompile);
+
 
         colorComment = new ColorFieldEditor(PreferenceConstants.KEY_COLOR_COMMENT, "Comment color:", parent);
         addField(colorComment);