Mercurial Repositories > eric / file comparison
comparison: Helpviewer/HelpTabWidget.py
Helpviewer/HelpTabWidget.py
- changeset 2999
- 28c75409a78f
- parent 2824
- 858412c29c34
- child 3020
- 542e97d4ecb3
- child 3057
- 10516539f238
equal
deleted
inserted
replaced
| 2998:95581102e03e | 2999:28c75409a78f |
|---|---|
| 31 class HelpTabWidget(E5TabWidget): | 31 class HelpTabWidget(E5TabWidget): |
| 32 """ | 32 """ |
| 33 Class implementing the central widget showing the web pages. | 33 Class implementing the central widget showing the web pages. |
| 34 | 34 |
| 35 @signal sourceChanged(HelpBrowser, QUrl) emitted after the URL of a browser | 35 @signal sourceChanged(HelpBrowser, QUrl) emitted after the URL of a browser |
| 36 has changed | 36 has changed |
| 37 @signal titleChanged(HelpBrowser, str) emitted after the title of a browser | 37 @signal titleChanged(HelpBrowser, str) emitted after the title of a browser |
| 38 has changed | 38 has changed |
| 39 @signal showMessage(str) emitted to show a message in the main window status bar | 39 @signal showMessage(str) emitted to show a message in the main window |
| 40 status bar | |
| 40 @signal browserClosed(QWidget) emitted after a browser was closed | 41 @signal browserClosed(QWidget) emitted after a browser was closed |
| 41 @signal browserZoomValueChanged(int) emitted to signal a change of the current | 42 @signal browserZoomValueChanged(int) emitted to signal a change of the |
| 42 browser's zoom level | 43 current browser's zoom level |
| 43 """ | 44 """ |
| 44 sourceChanged = pyqtSignal(HelpBrowser, QUrl) | 45 sourceChanged = pyqtSignal(HelpBrowser, QUrl) |
| 45 titleChanged = pyqtSignal(HelpBrowser, str) | 46 titleChanged = pyqtSignal(HelpBrowser, str) |
| 46 showMessage = pyqtSignal(str) | 47 showMessage = pyqtSignal(str) |
| 47 browserClosed = pyqtSignal(QWidget) | 48 browserClosed = pyqtSignal(QWidget) |
| 65 self.setDocumentMode(True) | 66 self.setDocumentMode(True) |
| 66 self.setElideMode(Qt.ElideNone) | 67 self.setElideMode(Qt.ElideNone) |
| 67 | 68 |
| 68 from .ClosedTabsManager import ClosedTabsManager | 69 from .ClosedTabsManager import ClosedTabsManager |
| 69 self.__closedTabsManager = ClosedTabsManager(self) | 70 self.__closedTabsManager = ClosedTabsManager(self) |
| 70 self.__closedTabsManager.closedTabAvailable.connect(self.__closedTabAvailable) | 71 self.__closedTabsManager.closedTabAvailable.connect( |
| 72 self.__closedTabAvailable) | |
| 71 | 73 |
| 72 from .UrlBar.StackedUrlBar import StackedUrlBar | 74 from .UrlBar.StackedUrlBar import StackedUrlBar |
| 73 self.__stackedUrlBar = StackedUrlBar(self) | 75 self.__stackedUrlBar = StackedUrlBar(self) |
| 74 self.__tabBar.tabMoved.connect(self.__stackedUrlBar.moveBar) | 76 self.__tabBar.tabMoved.connect(self.__stackedUrlBar.moveBar) |
| 75 | 77 |
| 86 self.__navigationMenu = QMenu(self) | 88 self.__navigationMenu = QMenu(self) |
| 87 self.__navigationMenu.aboutToShow.connect(self.__showNavigationMenu) | 89 self.__navigationMenu.aboutToShow.connect(self.__showNavigationMenu) |
| 88 self.__navigationMenu.triggered.connect(self.__navigationMenuTriggered) | 90 self.__navigationMenu.triggered.connect(self.__navigationMenuTriggered) |
| 89 | 91 |
| 90 self.__navigationButton = QToolButton(self) | 92 self.__navigationButton = QToolButton(self) |
| 91 self.__navigationButton.setIcon(UI.PixmapCache.getIcon("1downarrow.png")) | 93 self.__navigationButton.setIcon( |
| 92 self.__navigationButton.setToolTip(self.trUtf8("Show a navigation menu")) | 94 UI.PixmapCache.getIcon("1downarrow.png")) |
| 95 self.__navigationButton.setToolTip( | |
| 96 self.trUtf8("Show a navigation menu")) | |
| 93 self.__navigationButton.setPopupMode(QToolButton.InstantPopup) | 97 self.__navigationButton.setPopupMode(QToolButton.InstantPopup) |
| 94 self.__navigationButton.setMenu(self.__navigationMenu) | 98 self.__navigationButton.setMenu(self.__navigationMenu) |
| 95 self.__navigationButton.setEnabled(False) | 99 self.__navigationButton.setEnabled(False) |
| 96 self.__rightCornerWidgetLayout.addWidget(self.__navigationButton) | 100 self.__rightCornerWidgetLayout.addWidget(self.__navigationButton) |
| 97 | 101 |
| 98 self.__closedTabsMenu = QMenu(self) | 102 self.__closedTabsMenu = QMenu(self) |
| 99 self.__closedTabsMenu.aboutToShow.connect(self.__aboutToShowClosedTabsMenu) | 103 self.__closedTabsMenu.aboutToShow.connect( |
| 104 self.__aboutToShowClosedTabsMenu) | |
| 100 | 105 |
| 101 self.__closedTabsButton = QToolButton(self) | 106 self.__closedTabsButton = QToolButton(self) |
| 102 self.__closedTabsButton.setIcon(UI.PixmapCache.getIcon("trash.png")) | 107 self.__closedTabsButton.setIcon(UI.PixmapCache.getIcon("trash.png")) |
| 103 self.__closedTabsButton.setToolTip( | 108 self.__closedTabsButton.setToolTip( |
| 104 self.trUtf8("Show a navigation menu for closed tabs")) | 109 self.trUtf8("Show a navigation menu for closed tabs")) |
| 107 self.__closedTabsButton.setEnabled(False) | 112 self.__closedTabsButton.setEnabled(False) |
| 108 self.__rightCornerWidgetLayout.addWidget(self.__closedTabsButton) | 113 self.__rightCornerWidgetLayout.addWidget(self.__closedTabsButton) |
| 109 | 114 |
| 110 self.__closeButton = QToolButton(self) | 115 self.__closeButton = QToolButton(self) |
| 111 self.__closeButton.setIcon(UI.PixmapCache.getIcon("close.png")) | 116 self.__closeButton.setIcon(UI.PixmapCache.getIcon("close.png")) |
| 112 self.__closeButton.setToolTip(self.trUtf8("Close the current help window")) | 117 self.__closeButton.setToolTip( |
| 118 self.trUtf8("Close the current help window")) | |
| 113 self.__closeButton.setEnabled(False) | 119 self.__closeButton.setEnabled(False) |
| 114 self.__closeButton.clicked[bool].connect(self.closeBrowser) | 120 self.__closeButton.clicked[bool].connect(self.closeBrowser) |
| 115 self.__rightCornerWidgetLayout.addWidget(self.__closeButton) | 121 self.__rightCornerWidgetLayout.addWidget(self.__closeButton) |
| 116 if Preferences.getUI("SingleCloseButton") or \ | 122 if Preferences.getUI("SingleCloseButton") or \ |
| 117 not hasattr(self, 'setTabsClosable'): | 123 not hasattr(self, 'setTabsClosable'): |
| 123 | 129 |
| 124 self.setCornerWidget(self.__rightCornerWidget, Qt.TopRightCorner) | 130 self.setCornerWidget(self.__rightCornerWidget, Qt.TopRightCorner) |
| 125 | 131 |
| 126 self.__newTabButton = QToolButton(self) | 132 self.__newTabButton = QToolButton(self) |
| 127 self.__newTabButton.setIcon(UI.PixmapCache.getIcon("plus.png")) | 133 self.__newTabButton.setIcon(UI.PixmapCache.getIcon("plus.png")) |
| 128 self.__newTabButton.setToolTip(self.trUtf8("Open a new help window tab")) | 134 self.__newTabButton.setToolTip( |
| 135 self.trUtf8("Open a new help window tab")) | |
| 129 self.setCornerWidget(self.__newTabButton, Qt.TopLeftCorner) | 136 self.setCornerWidget(self.__newTabButton, Qt.TopLeftCorner) |
| 130 self.__newTabButton.clicked[bool].connect(self.newBrowser) | 137 self.__newTabButton.clicked[bool].connect(self.newBrowser) |
| 131 | 138 |
| 132 self.__initTabContextMenu() | 139 self.__initTabContextMenu() |
| 133 | 140 |
| 136 def __initTabContextMenu(self): | 143 def __initTabContextMenu(self): |
| 137 """ | 144 """ |
| 138 Private method to create the tab context menu. | 145 Private method to create the tab context menu. |
| 139 """ | 146 """ |
| 140 self.__tabContextMenu = QMenu(self) | 147 self.__tabContextMenu = QMenu(self) |
| 141 self.tabContextNewAct = \ | 148 self.tabContextNewAct = self.__tabContextMenu.addAction( |
| 142 self.__tabContextMenu.addAction(UI.PixmapCache.getIcon("tabNew.png"), | 149 UI.PixmapCache.getIcon("tabNew.png"), |
| 143 self.trUtf8('New Tab'), self.newBrowser) | 150 self.trUtf8('New Tab'), self.newBrowser) |
| 144 self.__tabContextMenu.addSeparator() | 151 self.__tabContextMenu.addSeparator() |
| 145 self.leftMenuAct = \ | 152 self.leftMenuAct = self.__tabContextMenu.addAction( |
| 146 self.__tabContextMenu.addAction(UI.PixmapCache.getIcon("1leftarrow.png"), | 153 UI.PixmapCache.getIcon("1leftarrow.png"), |
| 147 self.trUtf8('Move Left'), self.__tabContextMenuMoveLeft) | 154 self.trUtf8('Move Left'), self.__tabContextMenuMoveLeft) |
| 148 self.rightMenuAct = \ | 155 self.rightMenuAct = self.__tabContextMenu.addAction( |
| 149 self.__tabContextMenu.addAction(UI.PixmapCache.getIcon("1rightarrow.png"), | 156 UI.PixmapCache.getIcon("1rightarrow.png"), |
| 150 self.trUtf8('Move Right'), self.__tabContextMenuMoveRight) | 157 self.trUtf8('Move Right'), self.__tabContextMenuMoveRight) |
| 151 self.__tabContextMenu.addSeparator() | 158 self.__tabContextMenu.addSeparator() |
| 152 self.tabContextCloneAct = \ | 159 self.tabContextCloneAct = self.__tabContextMenu.addAction( |
| 153 self.__tabContextMenu.addAction(self.trUtf8("Duplicate Page"), | 160 self.trUtf8("Duplicate Page"), self.__tabContextMenuClone) |
| 154 self.__tabContextMenuClone) | |
| 155 self.__tabContextMenu.addSeparator() | 161 self.__tabContextMenu.addSeparator() |
| 156 self.tabContextCloseAct = \ | 162 self.tabContextCloseAct = self.__tabContextMenu.addAction( |
| 157 self.__tabContextMenu.addAction(UI.PixmapCache.getIcon("tabClose.png"), | 163 UI.PixmapCache.getIcon("tabClose.png"), |
| 158 self.trUtf8('Close'), self.__tabContextMenuClose) | 164 self.trUtf8('Close'), self.__tabContextMenuClose) |
| 159 self.tabContextCloseOthersAct = \ | 165 self.tabContextCloseOthersAct = self.__tabContextMenu.addAction( |
| 160 self.__tabContextMenu.addAction(UI.PixmapCache.getIcon("tabCloseOther.png"), | 166 UI.PixmapCache.getIcon("tabCloseOther.png"), |
| 161 self.trUtf8("Close Others"), self.__tabContextMenuCloseOthers) | 167 self.trUtf8("Close Others"), self.__tabContextMenuCloseOthers) |
| 162 self.__tabContextMenu.addAction(self.trUtf8('Close All'), | 168 self.__tabContextMenu.addAction(self.trUtf8('Close All'), |
| 163 self.closeAllBrowsers) | 169 self.closeAllBrowsers) |
| 164 self.__tabContextMenu.addSeparator() | 170 self.__tabContextMenu.addSeparator() |
| 165 self.__tabContextMenu.addAction(UI.PixmapCache.getIcon("printPreview.png"), | 171 self.__tabContextMenu.addAction( |
| 172 UI.PixmapCache.getIcon("printPreview.png"), | |
| 166 self.trUtf8('Print Preview'), self.__tabContextMenuPrintPreview) | 173 self.trUtf8('Print Preview'), self.__tabContextMenuPrintPreview) |
| 167 self.__tabContextMenu.addAction(UI.PixmapCache.getIcon("print.png"), | 174 self.__tabContextMenu.addAction( |
| 175 UI.PixmapCache.getIcon("print.png"), | |
| 168 self.trUtf8('Print'), self.__tabContextMenuPrint) | 176 self.trUtf8('Print'), self.__tabContextMenuPrint) |
| 169 self.__tabContextMenu.addAction(UI.PixmapCache.getIcon("printPdf.png"), | 177 self.__tabContextMenu.addAction( |
| 178 UI.PixmapCache.getIcon("printPdf.png"), | |
| 170 self.trUtf8('Print as PDF'), self.__tabContextMenuPrintPdf) | 179 self.trUtf8('Print as PDF'), self.__tabContextMenuPrintPdf) |
| 171 self.__tabContextMenu.addSeparator() | 180 self.__tabContextMenu.addSeparator() |
| 172 self.__tabContextMenu.addAction(UI.PixmapCache.getIcon("reload.png"), | 181 self.__tabContextMenu.addAction( |
| 182 UI.PixmapCache.getIcon("reload.png"), | |
| 173 self.trUtf8('Reload All'), self.reloadAllBrowsers) | 183 self.trUtf8('Reload All'), self.reloadAllBrowsers) |
| 174 self.__tabContextMenu.addSeparator() | 184 self.__tabContextMenu.addSeparator() |
| 175 self.__tabContextMenu.addAction(UI.PixmapCache.getIcon("addBookmark.png"), | 185 self.__tabContextMenu.addAction( |
| 186 UI.PixmapCache.getIcon("addBookmark.png"), | |
| 176 self.trUtf8('Bookmark All Tabs'), self.__mainWindow.bookmarkAll) | 187 self.trUtf8('Bookmark All Tabs'), self.__mainWindow.bookmarkAll) |
| 177 | 188 |
| 178 self.__tabBackContextMenu = QMenu(self) | 189 self.__tabBackContextMenu = QMenu(self) |
| 179 self.__tabBackContextMenu.addAction(self.trUtf8('Close All'), | 190 self.__tabBackContextMenu.addAction(self.trUtf8('Close All'), |
| 180 self.closeAllBrowsers) | 191 self.closeAllBrowsers) |
| 181 self.__tabBackContextMenu.addAction(UI.PixmapCache.getIcon("reload.png"), | 192 self.__tabBackContextMenu.addAction( |
| 193 UI.PixmapCache.getIcon("reload.png"), | |
| 182 self.trUtf8('Reload All'), self.reloadAllBrowsers) | 194 self.trUtf8('Reload All'), self.reloadAllBrowsers) |
| 183 self.__tabBackContextMenu.addAction(UI.PixmapCache.getIcon("addBookmark.png"), | 195 self.__tabBackContextMenu.addAction( |
| 196 UI.PixmapCache.getIcon("addBookmark.png"), | |
| 184 self.trUtf8('Bookmark All Tabs'), self.__mainWindow.bookmarkAll) | 197 self.trUtf8('Bookmark All Tabs'), self.__mainWindow.bookmarkAll) |
| 185 self.__tabBackContextMenu.addSeparator() | 198 self.__tabBackContextMenu.addSeparator() |
| 186 self.__restoreClosedTabAct = self.__tabBackContextMenu.addAction( | 199 self.__restoreClosedTabAct = self.__tabBackContextMenu.addAction( |
| 187 UI.PixmapCache.getIcon("trash.png"), | 200 UI.PixmapCache.getIcon("trash.png"), |
| 188 self.trUtf8('Restore Closed Tab'), self.restoreClosedTab) | 201 self.trUtf8('Restore Closed Tab'), self.restoreClosedTab) |
| 210 | 223 |
| 211 def __tabContextMenuMoveLeft(self): | 224 def __tabContextMenuMoveLeft(self): |
| 212 """ | 225 """ |
| 213 Private method to move a tab one position to the left. | 226 Private method to move a tab one position to the left. |
| 214 """ | 227 """ |
| 215 self.moveTab(self.__tabContextMenuIndex, self.__tabContextMenuIndex - 1) | 228 self.moveTab(self.__tabContextMenuIndex, |
| 229 self.__tabContextMenuIndex - 1) | |
| 216 | 230 |
| 217 def __tabContextMenuMoveRight(self): | 231 def __tabContextMenuMoveRight(self): |
| 218 """ | 232 """ |
| 219 Private method to move a tab one position to the right. | 233 Private method to move a tab one position to the right. |
| 220 """ | 234 """ |
| 221 self.moveTab(self.__tabContextMenuIndex, self.__tabContextMenuIndex + 1) | 235 self.moveTab(self.__tabContextMenuIndex, |
| 236 self.__tabContextMenuIndex + 1) | |
| 222 | 237 |
| 223 def __tabContextMenuClone(self): | 238 def __tabContextMenuClone(self): |
| 224 """ | 239 """ |
| 225 Private method to clone the selected tab. | 240 Private method to clone the selected tab. |
| 226 """ | 241 """ |
| 275 Public method to create a new web browser tab. | 290 Public method to create a new web browser tab. |
| 276 | 291 |
| 277 @param link link to be shown (string or QUrl) | 292 @param link link to be shown (string or QUrl) |
| 278 @param requestData tuple containing the request data (QNetworkRequest, | 293 @param requestData tuple containing the request data (QNetworkRequest, |
| 279 QNetworkAccessManager.Operation, QByteArray) | 294 QNetworkAccessManager.Operation, QByteArray) |
| 280 @keyparam position position to create the new tab at or -1 to add it to the end | 295 @keyparam position position to create the new tab at or -1 to add it |
| 281 (integer) | 296 to the end (integer) |
| 282 """ | 297 """ |
| 283 if link is None: | 298 if link is None: |
| 284 linkName = "" | 299 linkName = "" |
| 285 elif isinstance(link, QUrl): | 300 elif isinstance(link, QUrl): |
| 286 linkName = link.toString() | 301 linkName = link.toString() |
| 289 | 304 |
| 290 from .UrlBar.UrlBar import UrlBar | 305 from .UrlBar.UrlBar import UrlBar |
| 291 urlbar = UrlBar(self.__mainWindow, self) | 306 urlbar = UrlBar(self.__mainWindow, self) |
| 292 if self.__historyCompleter is None: | 307 if self.__historyCompleter is None: |
| 293 import Helpviewer.HelpWindow | 308 import Helpviewer.HelpWindow |
| 294 from .History.HistoryCompleter import HistoryCompletionModel, HistoryCompleter | 309 from .History.HistoryCompleter import HistoryCompletionModel, \ |
| 310 HistoryCompleter | |
| 295 self.__historyCompletionModel = HistoryCompletionModel(self) | 311 self.__historyCompletionModel = HistoryCompletionModel(self) |
| 296 self.__historyCompletionModel.setSourceModel( | 312 self.__historyCompletionModel.setSourceModel( |
| 297 Helpviewer.HelpWindow.HelpWindow.historyManager().historyFilterModel()) | 313 Helpviewer.HelpWindow.HelpWindow.historyManager() |
| 314 .historyFilterModel()) | |
| 298 self.__historyCompleter = HistoryCompleter( | 315 self.__historyCompleter = HistoryCompleter( |
| 299 self.__historyCompletionModel, self) | 316 self.__historyCompletionModel, self) |
| 300 self.__historyCompleter.activated[str].connect(self.__pathSelected) | 317 self.__historyCompleter.activated[str].connect(self.__pathSelected) |
| 301 urlbar.setCompleter(self.__historyCompleter) | 318 urlbar.setCompleter(self.__historyCompleter) |
| 302 urlbar.returnPressed.connect(self.__lineEditReturnPressed) | 319 urlbar.returnPressed.connect(self.__lineEditReturnPressed) |
| 309 urlbar.setBrowser(browser) | 326 urlbar.setBrowser(browser) |
| 310 | 327 |
| 311 browser.sourceChanged.connect(self.__sourceChanged) | 328 browser.sourceChanged.connect(self.__sourceChanged) |
| 312 browser.titleChanged.connect(self.__titleChanged) | 329 browser.titleChanged.connect(self.__titleChanged) |
| 313 browser.highlighted.connect(self.showMessage) | 330 browser.highlighted.connect(self.showMessage) |
| 314 browser.backwardAvailable.connect(self.__mainWindow.setBackwardAvailable) | 331 browser.backwardAvailable.connect( |
| 332 self.__mainWindow.setBackwardAvailable) | |
| 315 browser.forwardAvailable.connect(self.__mainWindow.setForwardAvailable) | 333 browser.forwardAvailable.connect(self.__mainWindow.setForwardAvailable) |
| 316 browser.loadStarted.connect(self.__loadStarted) | 334 browser.loadStarted.connect(self.__loadStarted) |
| 317 browser.loadFinished.connect(self.__loadFinished) | 335 browser.loadFinished.connect(self.__loadFinished) |
| 318 browser.iconChanged.connect(self.__iconChanged) | 336 browser.iconChanged.connect(self.__iconChanged) |
| 319 browser.search.connect(self.newBrowser) | 337 browser.search.connect(self.newBrowser) |
| 320 browser.page().windowCloseRequested.connect(self.__windowCloseRequested) | 338 browser.page().windowCloseRequested.connect( |
| 339 self.__windowCloseRequested) | |
| 321 browser.page().printRequested.connect(self.__printRequested) | 340 browser.page().printRequested.connect(self.__printRequested) |
| 322 browser.zoomValueChanged.connect(self.browserZoomValueChanged) | 341 browser.zoomValueChanged.connect(self.browserZoomValueChanged) |
| 323 | 342 |
| 324 if position == -1: | 343 if position == -1: |
| 325 index = self.addTab(browser, self.trUtf8("...")) | 344 index = self.addTab(browser, self.trUtf8("...")) |
| 500 try: | 519 try: |
| 501 frame.print_(printer) | 520 frame.print_(printer) |
| 502 except AttributeError: | 521 except AttributeError: |
| 503 E5MessageBox.critical(self, | 522 E5MessageBox.critical(self, |
| 504 self.trUtf8("eric5 Web Browser"), | 523 self.trUtf8("eric5 Web Browser"), |
| 505 self.trUtf8("""<p>Printing is not available due to a bug in PyQt4.""" | 524 self.trUtf8( |
| 506 """Please upgrade.</p>""")) | 525 """<p>Printing is not available due to a bug in""" |
| 526 """ PyQt4. Please upgrade.</p>""")) | |
| 507 return | 527 return |
| 508 | 528 |
| 509 def printBrowserPdf(self, browser=None): | 529 def printBrowserPdf(self, browser=None): |
| 510 """ | 530 """ |
| 511 Public slot called to print the displayed page to PDF. | 531 Public slot called to print the displayed page to PDF. |
| 541 try: | 561 try: |
| 542 frame.print_(printer) | 562 frame.print_(printer) |
| 543 except AttributeError: | 563 except AttributeError: |
| 544 E5MessageBox.critical(self, | 564 E5MessageBox.critical(self, |
| 545 self.trUtf8("eric5 Web Browser"), | 565 self.trUtf8("eric5 Web Browser"), |
| 546 self.trUtf8("""<p>Printing is not available due to a bug in PyQt4.""" | 566 self.trUtf8( |
| 547 """Please upgrade.</p>""")) | 567 """<p>Printing is not available due to a bug in""" |
| 568 """ PyQt4. Please upgrade.</p>""")) | |
| 548 return | 569 return |
| 549 | 570 |
| 550 def printPreviewBrowser(self, browser=None): | 571 def printPreviewBrowser(self, browser=None): |
| 551 """ | 572 """ |
| 552 Public slot called to show a print preview of the displayed file. | 573 Public slot called to show a print preview of the displayed file. |
| 590 try: | 611 try: |
| 591 self.__printPreviewBrowser.print_(printer) | 612 self.__printPreviewBrowser.print_(printer) |
| 592 except AttributeError: | 613 except AttributeError: |
| 593 E5MessageBox.critical(self, | 614 E5MessageBox.critical(self, |
| 594 self.trUtf8("eric5 Web Browser"), | 615 self.trUtf8("eric5 Web Browser"), |
| 595 self.trUtf8("""<p>Printing is not available due to a bug in PyQt4.""" | 616 self.trUtf8( |
| 596 """Please upgrade.</p>""")) | 617 """<p>Printing is not available due to a bug in PyQt4.""" |
| 618 """Please upgrade.</p>""")) | |
| 597 return | 619 return |
| 598 | 620 |
| 599 def __sourceChanged(self, url): | 621 def __sourceChanged(self, url): |
| 600 """ | 622 """ |
| 601 Private slot to handle a change of a browsers source. | 623 Private slot to handle a change of a browsers source. |
| 677 browser = self.sender() | 699 browser = self.sender() |
| 678 | 700 |
| 679 if browser is not None: | 701 if browser is not None: |
| 680 index = self.indexOf(browser) | 702 index = self.indexOf(browser) |
| 681 anim = self.animationLabel( | 703 anim = self.animationLabel( |
| 682 index, os.path.join(getConfig("ericPixDir"), "loading.gif"), 100) | 704 index, os.path.join(getConfig("ericPixDir"), "loading.gif"), |
| 705 100) | |
| 683 if not anim: | 706 if not anim: |
| 684 loading = QIcon(os.path.join(getConfig("ericPixDir"), "loading.gif")) | 707 loading = QIcon(os.path.join(getConfig("ericPixDir"), |
| 708 "loading.gif")) | |
| 685 self.setTabIcon(index, loading) | 709 self.setTabIcon(index, loading) |
| 686 else: | 710 else: |
| 687 self.setTabIcon(index, QIcon()) | 711 self.setTabIcon(index, QIcon()) |
| 688 self.setTabText(index, self.trUtf8("Loading...")) | 712 self.setTabText(index, self.trUtf8("Loading...")) |
| 689 self.setTabToolTip(index, self.trUtf8("Loading...")) | 713 self.setTabToolTip(index, self.trUtf8("Loading...")) |
| 703 | 727 |
| 704 if browser is not None: | 728 if browser is not None: |
| 705 import Helpviewer.HelpWindow | 729 import Helpviewer.HelpWindow |
| 706 index = self.indexOf(browser) | 730 index = self.indexOf(browser) |
| 707 self.resetAnimation(index) | 731 self.resetAnimation(index) |
| 708 self.setTabIcon(index, Helpviewer.HelpWindow.HelpWindow.icon(browser.url())) | 732 self.setTabIcon( |
| 733 index, Helpviewer.HelpWindow.HelpWindow.icon(browser.url())) | |
| 709 if ok: | 734 if ok: |
| 710 self.showMessage.emit(self.trUtf8("Finished loading")) | 735 self.showMessage.emit(self.trUtf8("Finished loading")) |
| 711 else: | 736 else: |
| 712 self.showMessage.emit(self.trUtf8("Failed to load")) | 737 self.showMessage.emit(self.trUtf8("Failed to load")) |
| 713 | 738 |
| 721 | 746 |
| 722 if browser is not None: | 747 if browser is not None: |
| 723 import Helpviewer.HelpWindow | 748 import Helpviewer.HelpWindow |
| 724 self.setTabIcon(self.indexOf(browser), | 749 self.setTabIcon(self.indexOf(browser), |
| 725 Helpviewer.HelpWindow.HelpWindow.icon(browser.url())) | 750 Helpviewer.HelpWindow.HelpWindow.icon(browser.url())) |
| 726 Helpviewer.HelpWindow.HelpWindow.bookmarksManager().iconChanged(browser.url()) | 751 Helpviewer.HelpWindow.HelpWindow.bookmarksManager()\ |
| 752 .iconChanged(browser.url()) | |
| 727 | 753 |
| 728 def getSourceFileList(self): | 754 def getSourceFileList(self): |
| 729 """ | 755 """ |
| 730 Public method to get a list of all opened source files. | 756 Public method to get a list of all opened source files. |
| 731 | 757 |
| 752 self.trUtf8("""Are you sure you want to close the window?\n""" | 778 self.trUtf8("""Are you sure you want to close the window?\n""" |
| 753 """You have %n tab(s) open.""", "", self.count()), | 779 """You have %n tab(s) open.""", "", self.count()), |
| 754 modal=True, | 780 modal=True, |
| 755 parent=self) | 781 parent=self) |
| 756 if self.__mainWindow.fromEric: | 782 if self.__mainWindow.fromEric: |
| 757 quitButton = mb.addButton(self.trUtf8("&Close"), E5MessageBox.AcceptRole) | 783 quitButton = mb.addButton( |
| 784 self.trUtf8("&Close"), E5MessageBox.AcceptRole) | |
| 758 quitButton.setIcon(UI.PixmapCache.getIcon("close.png")) | 785 quitButton.setIcon(UI.PixmapCache.getIcon("close.png")) |
| 759 else: | 786 else: |
| 760 quitButton = mb.addButton(self.trUtf8("&Quit"), E5MessageBox.AcceptRole) | 787 quitButton = mb.addButton( |
| 788 self.trUtf8("&Quit"), E5MessageBox.AcceptRole) | |
| 761 quitButton.setIcon(UI.PixmapCache.getIcon("exit.png")) | 789 quitButton.setIcon(UI.PixmapCache.getIcon("exit.png")) |
| 762 closeTabButton = mb.addButton(self.trUtf8("C&lose Current Tab"), | 790 closeTabButton = mb.addButton(self.trUtf8("C&lose Current Tab"), |
| 763 E5MessageBox.AcceptRole) | 791 E5MessageBox.AcceptRole) |
| 764 closeTabButton.setIcon(UI.PixmapCache.getIcon("tabClose.png")) | 792 closeTabButton.setIcon(UI.PixmapCache.getIcon("tabClose.png")) |
| 765 mb.addButton(E5MessageBox.Cancel) | 793 mb.addButton(E5MessageBox.Cancel) |
| 796 edit = self.sender() | 824 edit = self.sender() |
| 797 url = self.__guessUrlFromPath(edit.text()) | 825 url = self.__guessUrlFromPath(edit.text()) |
| 798 request = QNetworkRequest(url) | 826 request = QNetworkRequest(url) |
| 799 request.setRawHeader("X-Eric5-UserLoadAction", b"1") | 827 request.setRawHeader("X-Eric5-UserLoadAction", b"1") |
| 800 if e5App().keyboardModifiers() == Qt.AltModifier: | 828 if e5App().keyboardModifiers() == Qt.AltModifier: |
| 801 self.newBrowser(None, (request, QNetworkAccessManager.GetOperation, b"")) | 829 self.newBrowser( |
| 830 None, (request, QNetworkAccessManager.GetOperation, b"")) | |
| 802 else: | 831 else: |
| 803 self.currentBrowser().setSource(None, | 832 self.currentBrowser().setSource(None, |
| 804 (request, QNetworkAccessManager.GetOperation, b"")) | 833 (request, QNetworkAccessManager.GetOperation, b"")) |
| 805 self.currentBrowser().setFocus() | 834 self.currentBrowser().setFocus() |
| 806 | 835 |
| 908 | 937 |
| 909 self.__closedTabsMenu.clear() | 938 self.__closedTabsMenu.clear() |
| 910 index = 0 | 939 index = 0 |
| 911 for tab in self.__closedTabsManager.allClosedTabs(): | 940 for tab in self.__closedTabsManager.allClosedTabs(): |
| 912 title = fm.elidedText(tab.title, Qt.ElideRight, maxWidth) | 941 title = fm.elidedText(tab.title, Qt.ElideRight, maxWidth) |
| 913 self.__closedTabsMenu.addAction(self.__mainWindow.icon(tab.url), title, | 942 self.__closedTabsMenu.addAction( |
| 943 self.__mainWindow.icon(tab.url), title, | |
| 914 self.restoreClosedTab).setData(index) | 944 self.restoreClosedTab).setData(index) |
| 915 index += 1 | 945 index += 1 |
| 916 self.__closedTabsMenu.addSeparator() | 946 self.__closedTabsMenu.addSeparator() |
| 917 self.__closedTabsMenu.addAction(self.trUtf8("Restore All Closed Tabs"), | 947 self.__closedTabsMenu.addAction(self.trUtf8("Restore All Closed Tabs"), |
| 918 self.restoreAllClosedTabs) | 948 self.restoreAllClosedTabs) |
