59 if name is not None: |
59 if name is not None: |
60 self.setObjectName(name) |
60 self.setObjectName(name) |
61 self.setWindowIcon(EricPixmapCache.getIcon("shell")) |
61 self.setWindowIcon(EricPixmapCache.getIcon("shell")) |
62 self.setWindowTitle(self.tr("eric Shell")) |
62 self.setWindowTitle(self.tr("eric Shell")) |
63 |
63 |
64 self.setStyle(Preferences.getUI("Style"), Preferences.getUI("StyleSheet")) |
64 self.setStyle( |
|
65 styleName=Preferences.getUI("Style"), |
|
66 styleSheetFile=Preferences.getUI("StyleSheet"), |
|
67 itemClickBehavior=Preferences.getUI("ActivateItemOnSingleClick"), |
|
68 ) |
65 |
69 |
66 self.__lastDebuggerId = "" |
70 self.__lastDebuggerId = "" |
67 |
71 |
68 # initialize the APIs manager |
72 # initialize the APIs manager |
69 self.__apisManager = APIsManager(parent=self) |
73 self.__apisManager = APIsManager(parent=self) |