Preferences/__init__.py

changeset 5416
16366120b523
parent 5389
9b1c800daff3
child 5420
53ca6ddb4acf
--- a/Preferences/__init__.py	Tue Jan 10 19:41:43 2017 +0100
+++ b/Preferences/__init__.py	Wed Jan 11 19:28:04 2017 +0100
@@ -434,6 +434,7 @@
         "AnnotationsEnabled": True,
         
         "MiniContextMenu": False,
+        "HideFormatButtons": True,
         
         "SearchMarkersEnabled": True,
         "QuickSearchMarkersEnabled": True,

eric ide

mercurial