eric6/Preferences/ConfigurationPages/InterfacePage.py

changeset 7757
1f9f35f9be6d
parent 7360
9190402e4505
child 7765
72ea8b7452a4
--- a/eric6/Preferences/ConfigurationPages/InterfacePage.py	Sun Oct 04 18:53:35 2020 +0200
+++ b/eric6/Preferences/ConfigurationPages/InterfacePage.py	Mon Oct 05 19:11:15 2020 +0200
@@ -56,6 +56,8 @@
             Preferences.getUI("BrowsersListContentsByOccurrence"))
         self.uiBrowsersShowHiddenCheckBox.setChecked(
             Preferences.getUI("BrowsersListHiddenFiles"))
+        self.browserShowCodingCheckBox.setChecked(
+             Preferences.getUI("BrowserShowCoding"))
         self.fileFiltersEdit.setText(
             Preferences.getUI("BrowsersFileFilters"))
         
@@ -124,6 +126,9 @@
             "BrowsersListHiddenFiles",
             self.uiBrowsersShowHiddenCheckBox.isChecked())
         Preferences.setUI(
+            "BrowserShowCoding",
+            self.browserShowCodingCheckBox.isChecked())
+        Preferences.setUI(
             "BrowsersFileFilters",
             self.fileFiltersEdit.text())
         

eric ide

mercurial