80 self.__closeButton = None |
80 self.__closeButton = None |
81 |
81 |
82 self.setCornerWidget(self.__rightCornerWidget, Qt.TopRightCorner) |
82 self.setCornerWidget(self.__rightCornerWidget, Qt.TopRightCorner) |
83 |
83 |
84 self.__newTabButton = QToolButton(self) |
84 self.__newTabButton = QToolButton(self) |
85 self.__newTabButton.setIcon(UI.PixmapCache.getIcon("new.png")) |
85 self.__newTabButton.setIcon(UI.PixmapCache.getIcon("tabNew.png")) |
86 self.__newTabButton.setToolTip(self.trUtf8("Open a new help window tab")) |
86 self.__newTabButton.setToolTip(self.trUtf8("Open a new help window tab")) |
87 self.setCornerWidget(self.__newTabButton, Qt.TopLeftCorner) |
87 self.setCornerWidget(self.__newTabButton, Qt.TopLeftCorner) |
88 self.__newTabButton.clicked[bool].connect(self.newBrowser) |
88 self.__newTabButton.clicked[bool].connect(self.newBrowser) |
89 |
89 |
90 self.__initTabContextMenu() |
90 self.__initTabContextMenu() |
219 |
219 |
220 browser = HelpBrowser(self.__mainWindow, self) |
220 browser = HelpBrowser(self.__mainWindow, self) |
221 |
221 |
222 browser.sourceChanged.connect(self.__sourceChanged) |
222 browser.sourceChanged.connect(self.__sourceChanged) |
223 browser.titleChanged.connect(self.__titleChanged) |
223 browser.titleChanged.connect(self.__titleChanged) |
|
224 browser.highlighted.connect(self.showMessage) |
|
225 browser.backwardAvailable.connect(self.__mainWindow.setBackwardAvailable) |
|
226 browser.forwardAvailable.connect(self.__mainWindow.setForwardAvailable) |
|
227 browser.loadStarted.connect(self.__loadStarted) |
|
228 browser.loadFinished.connect(self.__loadFinished) |
|
229 browser.iconChanged.connect(self.__iconChanged) |
|
230 browser.search.connect(self.newBrowser) |
|
231 browser.page().windowCloseRequested.connect(self.__windowCloseRequested) |
|
232 browser.page().printRequested.connect(self.__printRequested) |
224 |
233 |
225 index = self.addTab(browser, self.trUtf8("...")) |
234 index = self.addTab(browser, self.trUtf8("...")) |
226 self.setCurrentIndex(index) |
235 self.setCurrentIndex(index) |
|
236 |
|
237 self.__mainWindow.closeAct.setEnabled(True) |
|
238 self.__mainWindow.closeAllAct.setEnabled(True) |
|
239 self.__closeButton and self.__closeButton.setEnabled(True) |
|
240 self.__navigationButton.setEnabled(True) |
227 |
241 |
228 if not linkName and Preferences.getHelp("StartupBehavior") == 0: |
242 if not linkName and Preferences.getHelp("StartupBehavior") == 0: |
229 linkName = Preferences.getHelp("HomePage") |
243 linkName = Preferences.getHelp("HomePage") |
230 |
244 |
231 if linkName: |
245 if linkName: |
235 self.setTabToolTip(index, linkName) |
249 self.setTabToolTip(index, linkName) |
236 else: |
250 else: |
237 self.setTabText(index, |
251 self.setTabText(index, |
238 self.__elide(browser.documentTitle().replace("&", "&&"))) |
252 self.__elide(browser.documentTitle().replace("&", "&&"))) |
239 self.setTabToolTip(index, browser.documentTitle()) |
253 self.setTabToolTip(index, browser.documentTitle()) |
240 |
|
241 browser.highlighted.connect(self.showMessage) |
|
242 browser.backwardAvailable.connect(self.__mainWindow.setBackwardAvailable) |
|
243 browser.forwardAvailable.connect(self.__mainWindow.setForwardAvailable) |
|
244 browser.loadStarted.connect(self.__loadStarted) |
|
245 browser.loadFinished.connect(self.__loadFinished) |
|
246 browser.iconChanged.connect(self.__iconChanged) |
|
247 browser.page().windowCloseRequested.connect(self.__windowCloseRequested) |
|
248 browser.page().printRequested.connect(self.__printRequested) |
|
249 browser.search.connect(self.newBrowser) |
|
250 |
|
251 self.__mainWindow.closeAct.setEnabled(True) |
|
252 self.__mainWindow.closeAllAct.setEnabled(True) |
|
253 self.__closeButton and self.__closeButton.setEnabled(True) |
|
254 self.__navigationButton.setEnabled(True) |
|
255 |
254 |
256 def __showNavigationMenu(self): |
255 def __showNavigationMenu(self): |
257 """ |
256 """ |
258 Private slot to show the navigation button menu. |
257 Private slot to show the navigation button menu. |
259 """ |
258 """ |