WebBrowser/WebBrowserTabWidget.py

changeset 4965
a9a4b632fe48
parent 4913
e16573640cb8
child 4979
7ac0959842f9
equal deleted inserted replaced
4964:a894e8c92369 4965:a9a4b632fe48
36 class WebBrowserTabWidget(E5TabWidget): 36 class WebBrowserTabWidget(E5TabWidget):
37 """ 37 """
38 Class implementing the central widget showing the web pages. 38 Class implementing the central widget showing the web pages.
39 39
40 @signal sourceChanged(WebBrowserView, QUrl) emitted after the URL of a 40 @signal sourceChanged(WebBrowserView, QUrl) emitted after the URL of a
41 browser has changed
42 @signal currentUrlChanged(QUrl) emitted after the URL of the current
41 browser has changed 43 browser has changed
42 @signal titleChanged(WebBrowserView, str) emitted after the title of a 44 @signal titleChanged(WebBrowserView, str) emitted after the title of a
43 browser has changed 45 browser has changed
44 @signal showMessage(str) emitted to show a message in the main window 46 @signal showMessage(str) emitted to show a message in the main window
45 status bar 47 status bar
46 @signal browserClosed(QWidget) emitted after a browser was closed 48 @signal browserClosed(QWidget) emitted after a browser was closed
47 @signal browserZoomValueChanged(int) emitted to signal a change of the 49 @signal browserZoomValueChanged(int) emitted to signal a change of the
48 current browser's zoom level 50 current browser's zoom level
49 """ 51 """
50 sourceChanged = pyqtSignal(WebBrowserView, QUrl) 52 sourceChanged = pyqtSignal(WebBrowserView, QUrl)
53 currentUrlChanged = pyqtSignal(QUrl)
51 titleChanged = pyqtSignal(WebBrowserView, str) 54 titleChanged = pyqtSignal(WebBrowserView, str)
52 showMessage = pyqtSignal(str) 55 showMessage = pyqtSignal(str)
53 browserClosed = pyqtSignal(QWidget) 56 browserClosed = pyqtSignal(QWidget)
54 browserZoomValueChanged = pyqtSignal(int) 57 browserZoomValueChanged = pyqtSignal(int)
55 58
620 """ 623 """
621 browser = self.sender() 624 browser = self.sender()
622 625
623 if browser is not None: 626 if browser is not None:
624 self.sourceChanged.emit(browser, url) 627 self.sourceChanged.emit(browser, url)
628
629 if browser == self.currentBrowser():
630 self.currentUrlChanged.emit(url)
625 631
626 def __titleChanged(self, title): 632 def __titleChanged(self, title):
627 """ 633 """
628 Private slot to handle a change of a browsers title. 634 Private slot to handle a change of a browsers title.
629 635

eric ide

mercurial