Merge pull request #22 from ed8247/setUseWorker

Add method to enable/disable a worker for the current session.
daveho · Jun 25, 2015 · d63229b · d63229b
2 parents feafc4d + 7411760
commit d63229b
Showing 1 changed file with 10 additions and 0 deletions.
diff --git a/AceGWT/src/edu/ycp/cs/dh/acegwt/client/ace/AceEditor.java b/AceGWT/src/edu/ycp/cs/dh/acegwt/client/ace/AceEditor.java
@@ -164,6 +164,16 @@ public native void setModeByName(String shortModeName) /*-{
 		editor.getSession().setMode(new TheMode());
 	}-*/;
 
+        /**
+         * Enable a worker for the current session.
+         *
+         * @param userWorker true to enable a worker otherwise false
+         */
+        public native void setUseWorker(boolean useWorker) /*-{
+                var editor = [email protected]::editor;
+                editor.getSession().setUseWorker(useWorker);
+        }-*/;
+
 	/**
 	 * Register a handler for change events generated by the editor.
 	 *