Helpviewer/HelpTabWidget.py

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

eric ide

mercurial