UserPreferences.st
changeset 19700 3775538c52dc
parent 19684 95ecd59eca16
child 19707 8e312f358d84
child 19755 6f0e180f46a6
--- a/UserPreferences.st	Wed May 04 08:28:31 2016 +0200
+++ b/UserPreferences.st	Wed May 04 12:22:31 2016 +0200
@@ -1,5 +1,3 @@
-"{ Encoding: utf8 }"
-
 "
  COPYRIGHT (c) 1998 by eXept Software AG
 	      All Rights Reserved
@@ -864,6 +862,8 @@
     ^ modified ? false
 ! !
 
+
+
 !UserPreferences methodsFor:'accessing-locale'!
 
 dateInputFormat
@@ -5291,6 +5291,13 @@
     "Created: / 14-07-2007 / 16:42:09 / cg"
 !
 
+useJavaCompletionEngineSimple
+    "/ switch to false, when the JavaCompletionEngine is
+    "/ finished.
+    
+    ^ true
+!
+
 useNewLayoutInDebugger
     ^ self at:#useNewLayoutInDebugger ifAbsent:true