diff -r e9e7eca7efee -r bf71ee032bb4 src/eric7/WebBrowser/UserAgent/UserAgentsDialog.py
--- a/src/eric7/WebBrowser/UserAgent/UserAgentsDialog.py Wed Jul 13 11:16:20 2022 +0200
+++ b/src/eric7/WebBrowser/UserAgent/UserAgentsDialog.py Wed Jul 13 14:55:47 2022 +0200
@@ -22,33 +22,32 @@
"""
Class implementing a dialog to show all saved user agent settings.
"""
+
def __init__(self, parent=None):
"""
Constructor
-
+
@param parent reference to the parent widget (QWidget)
"""
super().__init__(parent)
self.setupUi(self)
-
- self.removeButton.clicked.connect(
- self.userAgentsTable.removeSelected)
- self.removeAllButton.clicked.connect(
- self.userAgentsTable.removeAll)
-
+
+ self.removeButton.clicked.connect(self.userAgentsTable.removeSelected)
+ self.removeAllButton.clicked.connect(self.userAgentsTable.removeAll)
+
self.userAgentsTable.verticalHeader().hide()
self.__userAgentModel = UserAgentModel(
- WebBrowserWindow.userAgentsManager(), self)
+ WebBrowserWindow.userAgentsManager(), self
+ )
self.__proxyModel = QSortFilterProxyModel(self)
self.__proxyModel.setSourceModel(self.__userAgentModel)
- self.searchEdit.textChanged.connect(
- self.__proxyModel.setFilterFixedString)
+ self.searchEdit.textChanged.connect(self.__proxyModel.setFilterFixedString)
self.userAgentsTable.setModel(self.__proxyModel)
-
+
fm = QFontMetrics(QFont())
height = fm.height() + fm.height() // 3
self.userAgentsTable.verticalHeader().setDefaultSectionSize(height)
self.userAgentsTable.verticalHeader().setMinimumSectionSize(-1)
-
+
self.userAgentsTable.resizeColumnsToContents()
self.userAgentsTable.horizontalHeader().setStretchLastSection(True)
