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