Mercurial Repositories > eric / file comparison
comparison: eric6/QScintilla/MiniEditor.py
eric6/QScintilla/MiniEditor.py
- changeset 7279
- d02fe4c17413
- parent 7278
- 1820a0344b62
- child 7360
- 9190402e4505
equal
deleted
inserted
replaced
| 7278:1820a0344b62 | 7279:d02fe4c17413 |
|---|---|
| 2636 Preferences.getEditorColour("IndentationGuidesBackground")) | 2636 Preferences.getEditorColour("IndentationGuidesBackground")) |
| 2637 self.__textEdit.setIndentationGuidesForegroundColor( | 2637 self.__textEdit.setIndentationGuidesForegroundColor( |
| 2638 Preferences.getEditorColour("IndentationGuidesForeground")) | 2638 Preferences.getEditorColour("IndentationGuidesForeground")) |
| 2639 if Preferences.getEditor("ShowWhitespace"): | 2639 if Preferences.getEditor("ShowWhitespace"): |
| 2640 self.__textEdit.setWhitespaceVisibility(QsciScintilla.WsVisible) | 2640 self.__textEdit.setWhitespaceVisibility(QsciScintilla.WsVisible) |
| 2641 try: | 2641 self.__textEdit.setWhitespaceForegroundColor( |
| 2642 self.__textEdit.setWhitespaceForegroundColor( | 2642 Preferences.getEditorColour("WhitespaceForeground")) |
| 2643 Preferences.getEditorColour("WhitespaceForeground")) | 2643 self.__textEdit.setWhitespaceBackgroundColor( |
| 2644 self.__textEdit.setWhitespaceBackgroundColor( | 2644 Preferences.getEditorColour("WhitespaceBackground")) |
| 2645 Preferences.getEditorColour("WhitespaceBackground")) | 2645 self.__textEdit.setWhitespaceSize( |
| 2646 self.__textEdit.setWhitespaceSize( | 2646 Preferences.getEditor("WhitespaceSize")) |
| 2647 Preferences.getEditor("WhitespaceSize")) | |
| 2648 except AttributeError: | |
| 2649 # TODO: is this still needed? | |
| 2650 # QScintilla before 2.5 doesn't support this | |
| 2651 pass | |
| 2652 else: | 2647 else: |
| 2653 self.__textEdit.setWhitespaceVisibility(QsciScintilla.WsInvisible) | 2648 self.__textEdit.setWhitespaceVisibility(QsciScintilla.WsInvisible) |
| 2654 self.__textEdit.setEolVisibility(Preferences.getEditor("ShowEOL")) | 2649 self.__textEdit.setEolVisibility(Preferences.getEditor("ShowEOL")) |
| 2655 self.__textEdit.setAutoIndent(Preferences.getEditor("AutoIndentation")) | 2650 self.__textEdit.setAutoIndent(Preferences.getEditor("AutoIndentation")) |
| 2656 if Preferences.getEditor("BraceHighlighting"): | 2651 if Preferences.getEditor("BraceHighlighting"): |
