Mercurial Repositories > eric / file diff

diff -r 160f72d69cff -r 16366120b523 Preferences/ConfigurationPages/EditorStylesPage.py
--- a/Preferences/ConfigurationPages/EditorStylesPage.py	Tue Jan 10 19:41:43 2017 +0100
+++ b/Preferences/ConfigurationPages/EditorStylesPage.py	Wed Jan 11 19:28:04 2017 +0100
@@ -196,6 +196,8 @@
         
         self.miniMenuCheckBox.setChecked(
             Preferences.getEditor("MiniContextMenu"))
+        self.hideFormatButtonsCheckBox.setChecked(
+            Preferences.getEditor("HideFormatButtons"))
         
         self.enableAnnotationsCheckBox.setChecked(
             Preferences.getEditor("AnnotationsEnabled"))
@@ -324,6 +326,8 @@
         
         Preferences.setEditor(
             "MiniContextMenu", self.miniMenuCheckBox.isChecked())
+        Preferences.setEditor(
+            "HideFormatButtons", self.hideFormatButtonsCheckBox.isChecked())
         
         Preferences.setEditor(
             "AnnotationsEnabled", self.enableAnnotationsCheckBox.isChecked())