3241 folding = Preferences.getEditor("FoldingStyle") |
3241 folding = Preferences.getEditor("FoldingStyle") |
3242 try: |
3242 try: |
3243 folding = QsciScintilla.FoldStyle(folding) |
3243 folding = QsciScintilla.FoldStyle(folding) |
3244 except AttributeError: |
3244 except AttributeError: |
3245 pass |
3245 pass |
3246 try: |
3246 self.setFolding(folding, self.__foldMargin) |
3247 self.setFolding(folding, self.__foldMargin) |
3247 self.setFoldMarginColors( |
3248 except TypeError: |
3248 Preferences.getEditorColour("FoldmarginBackground"), |
3249 self.setFolding(folding) |
3249 Preferences.getEditorColour("FoldmarginBackground")) |
3250 self.setFoldMarginColors(Preferences.getEditorColour("FoldmarginBackground"), |
3250 self.setFoldMarkersColors( |
3251 Preferences.getEditorColour("FoldmarginBackground")) |
3251 Preferences.getEditorColour("FoldMarkersForeground"), |
|
3252 Preferences.getEditorColour("FoldMarkersBackground")) |
3252 else: |
3253 else: |
3253 self.setMarginWidth(self.__foldMargin, 0) |
3254 self.setMarginWidth(self.__foldMargin, 0) |
3254 try: |
3255 self.setFolding(QsciScintilla.NoFoldStyle, self.__foldMargin) |
3255 self.setFolding(QsciScintilla.NoFoldStyle, self.__foldMargin) |
|
3256 except TypeError: |
|
3257 self.setFolding(QsciScintilla.NoFoldStyle) |
|
3258 |
3256 |
3259 def __setTextDisplay(self): |
3257 def __setTextDisplay(self): |
3260 """ |
3258 """ |
3261 Private method to configure the text display. |
3259 Private method to configure the text display. |
3262 """ |
3260 """ |