--- 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,