110 self.setAttribute(Qt.WA_DeleteOnClose) |
111 self.setAttribute(Qt.WA_DeleteOnClose) |
111 self.setWindowTitle(self.trUtf8("eric5 Web Browser")) |
112 self.setWindowTitle(self.trUtf8("eric5 Web Browser")) |
112 |
113 |
113 self.fromEric = fromEric |
114 self.fromEric = fromEric |
114 self.initShortcutsOnly = initShortcutsOnly |
115 self.initShortcutsOnly = initShortcutsOnly |
115 self.setWindowIcon(UI.PixmapCache.getIcon("eric.png")) |
116 self.setWindowIcon(UI.PixmapCache.getIcon("ericWeb.png")) |
116 |
117 |
117 self.mHistory = [] |
118 self.mHistory = [] |
118 self.__lastConfigurationPageName = "" |
119 self.__lastConfigurationPageName = "" |
119 |
120 |
120 self.__eventMouseButtons = Qt.NoButton |
121 self.__eventMouseButtons = Qt.NoButton |
1680 def __about(self): |
1681 def __about(self): |
1681 """ |
1682 """ |
1682 Private slot to show the about information. |
1683 Private slot to show the about information. |
1683 """ |
1684 """ |
1684 E5MessageBox.about(self, self.trUtf8("eric5 Web Browser"), self.trUtf8( |
1685 E5MessageBox.about(self, self.trUtf8("eric5 Web Browser"), self.trUtf8( |
1685 """<h3>About eric5 Web Browser</h3>""" |
1686 """<b>eric5 Web Browser - {0}</b>""" |
1686 """<p>The eric5 Web Browser is a combined help file and HTML browser.</p>""" |
1687 """<p>The eric5 Web Browser is a combined help file and HTML browser.""" |
1687 )) |
1688 """ It is part of the eric5 development toolset.</p>""" |
|
1689 ).format(Version)) |
1688 |
1690 |
1689 def __aboutQt(self): |
1691 def __aboutQt(self): |
1690 """ |
1692 """ |
1691 Private slot to show info about Qt. |
1693 Private slot to show info about Qt. |
1692 """ |
1694 """ |
1907 if self.__isFullScreen(): |
1909 if self.__isFullScreen(): |
1908 # switch back to normal |
1910 # switch back to normal |
1909 self.setWindowState(self.windowState() & ~Qt.WindowFullScreen) |
1911 self.setWindowState(self.windowState() & ~Qt.WindowFullScreen) |
1910 self.menuBar().show() |
1912 self.menuBar().show() |
1911 self.fullScreenAct.setIcon(UI.PixmapCache.getIcon("windowFullscreen.png")) |
1913 self.fullScreenAct.setIcon(UI.PixmapCache.getIcon("windowFullscreen.png")) |
|
1914 self.fullScreenAct.setIconText(self.trUtf8('Full Screen')) |
1912 else: |
1915 else: |
1913 # switch to full screen |
1916 # switch to full screen |
1914 self.setWindowState(self.windowState() | Qt.WindowFullScreen) |
1917 self.setWindowState(self.windowState() | Qt.WindowFullScreen) |
1915 self.menuBar().hide() |
1918 self.menuBar().hide() |
1916 self.fullScreenAct.setIcon(UI.PixmapCache.getIcon("windowRestore.png")) |
1919 self.fullScreenAct.setIcon(UI.PixmapCache.getIcon("windowRestore.png")) |
|
1920 self.fullScreenAct.setIconText(self.trUtf8('Restore Window')) |
1917 |
1921 |
1918 def __isFullScreen(self): |
1922 def __isFullScreen(self): |
1919 """ |
1923 """ |
1920 Private method to determine, if the window is in full screen mode. |
1924 Private method to determine, if the window is in full screen mode. |
1921 |
1925 |