2402 self.__textEdit.setTabIndents(Preferences.getEditor("TabIndents")) |
2402 self.__textEdit.setTabIndents(Preferences.getEditor("TabIndents")) |
2403 self.__textEdit.setBackspaceUnindents( |
2403 self.__textEdit.setBackspaceUnindents( |
2404 Preferences.getEditor("TabIndents")) |
2404 Preferences.getEditor("TabIndents")) |
2405 self.__textEdit.setIndentationGuides( |
2405 self.__textEdit.setIndentationGuides( |
2406 Preferences.getEditor("IndentationGuides")) |
2406 Preferences.getEditor("IndentationGuides")) |
|
2407 self.__textEdit.setIndentationGuidesBackgroundColor( |
|
2408 Preferences.getEditorColour("IndentationGuidesBackground")) |
|
2409 self.__textEdit.setIndentationGuidesForegroundColor( |
|
2410 Preferences.getEditorColour("IndentationGuidesForeground")) |
2407 if Preferences.getEditor("ShowWhitespace"): |
2411 if Preferences.getEditor("ShowWhitespace"): |
2408 self.__textEdit.setWhitespaceVisibility(QsciScintilla.WsVisible) |
2412 self.__textEdit.setWhitespaceVisibility(QsciScintilla.WsVisible) |
2409 try: |
2413 try: |
2410 self.setWhitespaceForegroundColor( |
2414 self.setWhitespaceForegroundColor( |
2411 Preferences.getEditorColour("WhitespaceForeground")) |
2415 Preferences.getEditorColour("WhitespaceForeground")) |