5877 self.__setMarginsDisplay() |
5877 self.__setMarginsDisplay() |
5878 self.setFont(Preferences.getEditorOtherFonts("DefaultFont")) |
5878 self.setFont(Preferences.getEditorOtherFonts("DefaultFont")) |
5879 |
5879 |
5880 self.useMonospaced = on |
5880 self.useMonospaced = on |
5881 |
5881 |
|
5882 def clearStyles(self): |
|
5883 """ |
|
5884 Public method to set the styles according the selected Qt style |
|
5885 or the selected editor colours. |
|
5886 """ |
|
5887 super().clearStyles() |
|
5888 if Preferences.getEditor("OverrideEditAreaColours"): |
|
5889 self.setColor(Preferences.getEditorColour("EditAreaForeground")) |
|
5890 self.setPaper(Preferences.getEditorColour("EditAreaBackground")) |
|
5891 |
5882 ################################################################# |
5892 ################################################################# |
5883 ## Drag and Drop Support |
5893 ## Drag and Drop Support |
5884 ################################################################# |
5894 ################################################################# |
5885 |
5895 |
5886 def dragEnterEvent(self, event): |
5896 def dragEnterEvent(self, event): |