27 @param parent reference to the parent widget (QWidget) |
27 @param parent reference to the parent widget (QWidget) |
28 """ |
28 """ |
29 super().__init__(parent) |
29 super().__init__(parent) |
30 self.setupUi(self) |
30 self.setupUi(self) |
31 |
31 |
32 self.removeButton.clicked[()].connect(self.userAgentsTable.removeSelected) |
32 self.removeButton.clicked[()].connect( |
33 self.removeAllButton.clicked[()].connect(self.userAgentsTable.removeAll) |
33 self.userAgentsTable.removeSelected) |
|
34 self.removeAllButton.clicked[()].connect( |
|
35 self.userAgentsTable.removeAll) |
34 |
36 |
35 self.userAgentsTable.verticalHeader().hide() |
37 self.userAgentsTable.verticalHeader().hide() |
36 self.__userAgentModel = \ |
38 self.__userAgentModel = UserAgentModel( |
37 UserAgentModel(Helpviewer.HelpWindow.HelpWindow.userAgentsManager(), self) |
39 Helpviewer.HelpWindow.HelpWindow.userAgentsManager(), self) |
38 self.__proxyModel = QSortFilterProxyModel(self) |
40 self.__proxyModel = QSortFilterProxyModel(self) |
39 self.__proxyModel.setSourceModel(self.__userAgentModel) |
41 self.__proxyModel.setSourceModel(self.__userAgentModel) |
40 self.searchEdit.textChanged.connect(self.__proxyModel.setFilterFixedString) |
42 self.searchEdit.textChanged.connect( |
|
43 self.__proxyModel.setFilterFixedString) |
41 self.userAgentsTable.setModel(self.__proxyModel) |
44 self.userAgentsTable.setModel(self.__proxyModel) |
42 |
45 |
43 fm = QFontMetrics(QFont()) |
46 fm = QFontMetrics(QFont()) |
44 height = fm.height() + fm.height() // 3 |
47 height = fm.height() + fm.height() // 3 |
45 self.userAgentsTable.verticalHeader().setDefaultSectionSize(height) |
48 self.userAgentsTable.verticalHeader().setDefaultSectionSize(height) |