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 = { |