7 Module implementing the navigation bar widget. |
7 Module implementing the navigation bar widget. |
8 """ |
8 """ |
9 |
9 |
10 |
10 |
11 from PyQt5.QtCore import Qt, QUrl |
11 from PyQt5.QtCore import Qt, QUrl |
12 from PyQt5.QtWidgets import QWidget, QHBoxLayout, QStyle, QToolButton, \ |
12 from PyQt5.QtWidgets import ( |
13 QSplitter, QSizePolicy, QMenu, QAction |
13 QWidget, QHBoxLayout, QStyle, QToolButton, QSplitter, QSizePolicy, QMenu, |
|
14 QAction |
|
15 ) |
14 |
16 |
15 from E5Gui.E5ToolButton import E5ToolButton |
17 from E5Gui.E5ToolButton import E5ToolButton |
16 |
18 |
17 from WebBrowser.WebBrowserWindow import WebBrowserWindow |
19 from WebBrowser.WebBrowserWindow import WebBrowserWindow |
18 from WebBrowser.Download.DownloadManagerButton import DownloadManagerButton |
20 from WebBrowser.Download.DownloadManagerButton import DownloadManagerButton |
113 |
115 |
114 self.__navigationSplitter = QSplitter(self) |
116 self.__navigationSplitter = QSplitter(self) |
115 urlBar = self.__mw.tabWidget().stackedUrlBar() |
117 urlBar = self.__mw.tabWidget().stackedUrlBar() |
116 self.__navigationSplitter.addWidget(urlBar) |
118 self.__navigationSplitter.addWidget(urlBar) |
117 |
119 |
118 from WebBrowser.WebBrowserWebSearchWidget import \ |
120 from WebBrowser.WebBrowserWebSearchWidget import ( |
119 WebBrowserWebSearchWidget |
121 WebBrowserWebSearchWidget |
|
122 ) |
120 self.__searchEdit = WebBrowserWebSearchWidget(self.__mw, self) |
123 self.__searchEdit = WebBrowserWebSearchWidget(self.__mw, self) |
121 sizePolicy = QSizePolicy(QSizePolicy.Expanding, QSizePolicy.Preferred) |
124 sizePolicy = QSizePolicy(QSizePolicy.Expanding, QSizePolicy.Preferred) |
122 sizePolicy.setHorizontalStretch(2) |
125 sizePolicy.setHorizontalStretch(2) |
123 sizePolicy.setVerticalStretch(0) |
126 sizePolicy.setVerticalStretch(0) |
124 self.__searchEdit.setSizePolicy(sizePolicy) |
127 self.__searchEdit.setSizePolicy(sizePolicy) |