283 super().__init__(parent) |
283 super().__init__(parent) |
284 if name is not None: |
284 if name is not None: |
285 self.setObjectName(name) |
285 self.setObjectName(name) |
286 self.setWindowIcon(EricPixmapCache.getIcon("editor")) |
286 self.setWindowIcon(EricPixmapCache.getIcon("editor")) |
287 |
287 |
288 self.setStyle(Preferences.getUI("Style"), Preferences.getUI("StyleSheet")) |
288 self.setStyle( |
|
289 styleName=Preferences.getUI("Style"), |
|
290 styleSheetFile=Preferences.getUI("StyleSheet"), |
|
291 itemClickBehavior=Preferences.getUI("ActivateItemOnSingleClick"), |
|
292 ) |
289 |
293 |
290 self.__textEdit = MiniScintilla(self) |
294 self.__textEdit = MiniScintilla(self) |
291 self.__textEdit.clearSearchIndicators = self.clearSearchIndicators |
295 self.__textEdit.clearSearchIndicators = self.clearSearchIndicators |
292 self.__textEdit.setSearchIndicator = self.setSearchIndicator |
296 self.__textEdit.setSearchIndicator = self.setSearchIndicator |
293 self.__textEdit.highlightSearchSelection = self.highlightSearchSelection |
297 self.__textEdit.highlightSearchSelection = self.highlightSearchSelection |