src/eric7/Preferences/ConfigurationPages/EditorPropertiesPage.py

branch
eric7
changeset 10373
093dcebe5ecb
parent 10135
36839e2c6945
child 10428
a071d4065202
equal deleted inserted replaced
10372:1444b4bee64b 10373:093dcebe5ecb
28 """ 28 """
29 super().__init__() 29 super().__init__()
30 self.setupUi(self) 30 self.setupUi(self)
31 self.setObjectName("EditorPropertiesPage") 31 self.setObjectName("EditorPropertiesPage")
32 32
33 self.languages = sorted(list(lexers.keys())[:]) 33 self.languages = sorted(lexers)
34 34
35 # set initial values 35 # set initial values
36 # All 36 # All
37 self.allFoldCompactCheckBox.setChecked(Preferences.getEditor("AllFoldCompact")) 37 self.allFoldCompactCheckBox.setChecked(Preferences.getEditor("AllFoldCompact"))
38 38

eric ide

mercurial