src/eric7/QScintilla/EditorAssembly.py

branch
eric7
changeset 10832
479cf39ac9cb
parent 10439
21c28b0f9e41
child 10849
78d338b6d89f
equal deleted inserted replaced
10831:f6be97f4d96a 10832:479cf39ac9cb
53 self.__layout.setContentsMargins(0, 0, 0, 0) 53 self.__layout.setContentsMargins(0, 0, 0, 0)
54 self.__layout.setSpacing(1) 54 self.__layout.setSpacing(1)
55 55
56 self.__showNavigator = Preferences.getEditor("ShowSourceNavigator") 56 self.__showNavigator = Preferences.getEditor("ShowSourceNavigator")
57 self.__showOutline = Preferences.getEditor("ShowSourceOutline") 57 self.__showOutline = Preferences.getEditor("ShowSourceOutline")
58 self.__outlineSortByOccurrence = Preferences.getEditor(
59 "SourceOutlineListContentsByOccurrence"
60 )
58 61
59 self.__editor = Editor(dbs, fn, vm, filetype, editor, tv) 62 self.__editor = Editor(dbs, fn, vm, filetype, editor, tv)
60 self.__buttonsWidget = EditorButtonsWidget(self.__editor, self) 63 self.__buttonsWidget = EditorButtonsWidget(self.__editor, self)
61 self.__globalsCombo = QComboBox() 64 self.__globalsCombo = QComboBox()
62 self.__globalsCombo.setDuplicatesEnabled(True) 65 self.__globalsCombo.setDuplicatesEnabled(True)
125 """ 128 """
126 Private slot handling a change of preferences. 129 Private slot handling a change of preferences.
127 """ 130 """
128 showNavigator = Preferences.getEditor("ShowSourceNavigator") 131 showNavigator = Preferences.getEditor("ShowSourceNavigator")
129 showOutline = Preferences.getEditor("ShowSourceOutline") 132 showOutline = Preferences.getEditor("ShowSourceOutline")
133 outlineSortByOccurrence = Preferences.getEditor(
134 "SourceOutlineListContentsByOccurrence"
135 )
136
137 if self.__outlineSortByOccurrence != outlineSortByOccurrence:
138 self.__outlineSortByOccurrence = outlineSortByOccurrence
139 if self.__showOutline:
140 self.__sourceOutline.repopulate()
141
130 if showOutline != self.__showOutline or showNavigator != self.__showNavigator: 142 if showOutline != self.__showOutline or showNavigator != self.__showNavigator:
131 self.__showOutline = showOutline 143 self.__showOutline = showOutline
132 self.__showNavigator = showNavigator 144 self.__showNavigator = showNavigator
133 self.__activateOutline(self.__showNavigator and self.__showOutline) 145 self.__activateOutline(self.__showNavigator and self.__showOutline)
134 self.__activateCombos(self.__showNavigator and not self.__showOutline) 146 self.__activateCombos(self.__showNavigator and not self.__showOutline)

eric ide

mercurial