eric6/QScintilla/Shell.py

branch
maintenance
changeset 7560
343db73c4842
parent 7437
1148ca40ea36
parent 7536
861e46f99d65
child 7737
5371a22cf2aa
equal deleted inserted replaced
7507:a4eb1787ea41 7560:343db73c4842
325 325
326 # set the autocompletion and calltips function 326 # set the autocompletion and calltips function
327 self.__setAutoCompletion() 327 self.__setAutoCompletion()
328 self.__setCallTips() 328 self.__setCallTips()
329 329
330 self.setWindowIcon(UI.PixmapCache.getIcon("eric.png")) 330 self.setWindowIcon(UI.PixmapCache.getIcon("eric"))
331 331
332 self.incrementalSearchString = "" 332 self.incrementalSearchString = ""
333 self.incrementalSearchActive = False 333 self.incrementalSearchActive = False
334 334
335 self.supportedEditorCommands = { 335 self.supportedEditorCommands = {
579 @param language of the calltips set to set (string) 579 @param language of the calltips set to set (string)
580 """ 580 """
581 if Preferences.getShell("CallTipsEnabled"): 581 if Preferences.getShell("CallTipsEnabled"):
582 self.setCallTipsBackgroundColor( 582 self.setCallTipsBackgroundColor(
583 Preferences.getEditorColour("CallTipsBackground")) 583 Preferences.getEditorColour("CallTipsBackground"))
584 self.setCallTipsForegroundColor(
585 Preferences.getEditorColour("CallTipsForeground"))
586 self.setCallTipsHighlightColor(
587 Preferences.getEditorColour("CallTipsHighlight"))
584 self.setCallTipsVisible(Preferences.getEditor("CallTipsVisible")) 588 self.setCallTipsVisible(Preferences.getEditor("CallTipsVisible"))
585 calltipsStyle = Preferences.getEditor("CallTipsStyle") 589 calltipsStyle = Preferences.getEditor("CallTipsStyle")
586 if calltipsStyle == QsciScintilla.CallTipsNoContext: 590 if calltipsStyle == QsciScintilla.CallTipsNoContext:
587 self.setCallTipsStyle(QsciScintilla.CallTipsNoContext) 591 self.setCallTipsStyle(QsciScintilla.CallTipsNoContext)
588 elif ( 592 elif (

eric ide

mercurial