2412 Preferences.getEditorColour("CaretForeground")) |
2412 Preferences.getEditorColour("CaretForeground")) |
2413 self.__textEdit.setCaretLineBackgroundColor( |
2413 self.__textEdit.setCaretLineBackgroundColor( |
2414 Preferences.getEditorColour("CaretLineBackground")) |
2414 Preferences.getEditorColour("CaretLineBackground")) |
2415 self.__textEdit.setCaretLineVisible( |
2415 self.__textEdit.setCaretLineVisible( |
2416 Preferences.getEditor("CaretLineVisible")) |
2416 Preferences.getEditor("CaretLineVisible")) |
|
2417 self.__textEdit.setCaretLineAlwaysVisible( |
|
2418 Preferences.getEditor("CaretLineAlwaysVisible")) |
2417 self.caretWidth = Preferences.getEditor("CaretWidth") |
2419 self.caretWidth = Preferences.getEditor("CaretWidth") |
2418 self.__textEdit.setCaretWidth(self.caretWidth) |
2420 self.__textEdit.setCaretWidth(self.caretWidth) |
2419 self.useMonospaced = Preferences.getEditor("UseMonospacedFont") |
2421 self.useMonospaced = Preferences.getEditor("UseMonospacedFont") |
2420 self.__setMonospaced(self.useMonospaced) |
2422 self.__setMonospaced(self.useMonospaced) |
2421 edgeMode = Preferences.getEditor("EdgeMode") |
2423 edgeMode = Preferences.getEditor("EdgeMode") |