2211 self.__textEdit.setCursorFlashTime(QApplication.cursorFlashTime()) |
2211 self.__textEdit.setCursorFlashTime(QApplication.cursorFlashTime()) |
2212 |
2212 |
2213 if Preferences.getEditor("OverrideEditAreaColours"): |
2213 if Preferences.getEditor("OverrideEditAreaColours"): |
2214 self.__textEdit.setColor(Preferences.getEditorColour("EditAreaForeground")) |
2214 self.__textEdit.setColor(Preferences.getEditorColour("EditAreaForeground")) |
2215 self.__textEdit.setPaper(Preferences.getEditorColour("EditAreaBackground")) |
2215 self.__textEdit.setPaper(Preferences.getEditorColour("EditAreaBackground")) |
|
2216 |
|
2217 self.setVirtualSpaceOptions(Preferences.getEditor("VirtualSpaceOptions")) |
2216 |
2218 |
2217 def __setEolMode(self): |
2219 def __setEolMode(self): |
2218 """ |
2220 """ |
2219 Private method to configure the eol mode of the editor. |
2221 Private method to configure the eol mode of the editor. |
2220 """ |
2222 """ |