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 |