src/eric7/WebBrowser/UserAgent/UserAgentsDialog.py

branch
eric7
changeset 9221
bf71ee032bb4
parent 9209
b99e7fd55fd3
child 9413
80c06d472826
equal deleted inserted replaced
9220:e9e7eca7efee 9221:bf71ee032bb4
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)

eric ide

mercurial