Preferences/__init__.py

changeset 726
57d1efea16e0
parent 701
fc587a1c2f8b
child 728
3ee110082fb7
--- a/Preferences/__init__.py	Tue Nov 16 08:42:14 2010 +0100
+++ b/Preferences/__init__.py	Thu Nov 18 08:45:10 2010 +0100
@@ -269,6 +269,8 @@
         "AutoCheckSyntax" : True,
         "AutoReopen" : False,
         
+        "AnnotationsEnabled" : True, 
+        
         "MiniContextMenu" : False,
         
         "SearchMarkersEnabled" : True, 

eric ide

mercurial