20 |
20 |
21 class UserAgentsDialog(QDialog, Ui_UserAgentsDialog): |
21 class UserAgentsDialog(QDialog, Ui_UserAgentsDialog): |
22 """ |
22 """ |
23 Class implementing a dialog to show all saved user agent settings. |
23 Class implementing a dialog to show all saved user agent settings. |
24 """ |
24 """ |
|
25 |
25 def __init__(self, parent=None): |
26 def __init__(self, parent=None): |
26 """ |
27 """ |
27 Constructor |
28 Constructor |
28 |
29 |
29 @param parent reference to the parent widget (QWidget) |
30 @param parent reference to the parent widget (QWidget) |
30 """ |
31 """ |
31 super().__init__(parent) |
32 super().__init__(parent) |
32 self.setupUi(self) |
33 self.setupUi(self) |
33 |
34 |
34 self.removeButton.clicked.connect( |
35 self.removeButton.clicked.connect(self.userAgentsTable.removeSelected) |
35 self.userAgentsTable.removeSelected) |
36 self.removeAllButton.clicked.connect(self.userAgentsTable.removeAll) |
36 self.removeAllButton.clicked.connect( |
37 |
37 self.userAgentsTable.removeAll) |
|
38 |
|
39 self.userAgentsTable.verticalHeader().hide() |
38 self.userAgentsTable.verticalHeader().hide() |
40 self.__userAgentModel = UserAgentModel( |
39 self.__userAgentModel = UserAgentModel( |
41 WebBrowserWindow.userAgentsManager(), self) |
40 WebBrowserWindow.userAgentsManager(), self |
|
41 ) |
42 self.__proxyModel = QSortFilterProxyModel(self) |
42 self.__proxyModel = QSortFilterProxyModel(self) |
43 self.__proxyModel.setSourceModel(self.__userAgentModel) |
43 self.__proxyModel.setSourceModel(self.__userAgentModel) |
44 self.searchEdit.textChanged.connect( |
44 self.searchEdit.textChanged.connect(self.__proxyModel.setFilterFixedString) |
45 self.__proxyModel.setFilterFixedString) |
|
46 self.userAgentsTable.setModel(self.__proxyModel) |
45 self.userAgentsTable.setModel(self.__proxyModel) |
47 |
46 |
48 fm = QFontMetrics(QFont()) |
47 fm = QFontMetrics(QFont()) |
49 height = fm.height() + fm.height() // 3 |
48 height = fm.height() + fm.height() // 3 |
50 self.userAgentsTable.verticalHeader().setDefaultSectionSize(height) |
49 self.userAgentsTable.verticalHeader().setDefaultSectionSize(height) |
51 self.userAgentsTable.verticalHeader().setMinimumSectionSize(-1) |
50 self.userAgentsTable.verticalHeader().setMinimumSectionSize(-1) |
52 |
51 |
53 self.userAgentsTable.resizeColumnsToContents() |
52 self.userAgentsTable.resizeColumnsToContents() |
54 self.userAgentsTable.horizontalHeader().setStretchLastSection(True) |
53 self.userAgentsTable.horizontalHeader().setStretchLastSection(True) |