src/eric7/QScintilla/MiniEditor.py

branch
eric7
changeset 10933
95a15b70f7bb
parent 10876
ec224611090e
child 11006
a671918232f3
equal deleted inserted replaced
10932:82de5109035a 10933:95a15b70f7bb
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

eric ide

mercurial