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 |
2216 |
2217 self.setVirtualSpaceOptions(Preferences.getEditor("VirtualSpaceOptions")) |
2217 self.__textEdit.setVirtualSpaceOptions( |
|
2218 Preferences.getEditor("VirtualSpaceOptions")) |
2218 |
2219 |
2219 def __setEolMode(self): |
2220 def __setEolMode(self): |
2220 """ |
2221 """ |
2221 Private method to configure the eol mode of the editor. |
2222 Private method to configure the eol mode of the editor. |
2222 """ |
2223 """ |