327 |
327 |
328 # set the autocompletion and calltips function |
328 # set the autocompletion and calltips function |
329 self.__setAutoCompletion() |
329 self.__setAutoCompletion() |
330 self.__setCallTips() |
330 self.__setCallTips() |
331 |
331 |
332 self.setWindowIcon(UI.PixmapCache.getIcon("eric.png")) |
332 self.setWindowIcon(UI.PixmapCache.getIcon("eric")) |
333 |
333 |
334 self.incrementalSearchString = "" |
334 self.incrementalSearchString = "" |
335 self.incrementalSearchActive = False |
335 self.incrementalSearchActive = False |
336 |
336 |
337 self.supportedEditorCommands = { |
337 self.supportedEditorCommands = { |
581 @param language of the calltips set to set (string) |
581 @param language of the calltips set to set (string) |
582 """ |
582 """ |
583 if Preferences.getShell("CallTipsEnabled"): |
583 if Preferences.getShell("CallTipsEnabled"): |
584 self.setCallTipsBackgroundColor( |
584 self.setCallTipsBackgroundColor( |
585 Preferences.getEditorColour("CallTipsBackground")) |
585 Preferences.getEditorColour("CallTipsBackground")) |
|
586 self.setCallTipsForegroundColor( |
|
587 Preferences.getEditorColour("CallTipsForeground")) |
|
588 self.setCallTipsHighlightColor( |
|
589 Preferences.getEditorColour("CallTipsHighlight")) |
586 self.setCallTipsVisible(Preferences.getEditor("CallTipsVisible")) |
590 self.setCallTipsVisible(Preferences.getEditor("CallTipsVisible")) |
587 calltipsStyle = Preferences.getEditor("CallTipsStyle") |
591 calltipsStyle = Preferences.getEditor("CallTipsStyle") |
588 if calltipsStyle == QsciScintilla.CallTipsNoContext: |
592 if calltipsStyle == QsciScintilla.CallTipsNoContext: |
589 self.setCallTipsStyle(QsciScintilla.CallTipsNoContext) |
593 self.setCallTipsStyle(QsciScintilla.CallTipsNoContext) |
590 elif ( |
594 elif ( |