diff -r 09f38f85a3af -r 939ff20f712d WebBrowser/UserAgent/UserAgentsDialog.py
--- /dev/null Thu Jan 01 00:00:00 1970 +0000
+++ b/WebBrowser/UserAgent/UserAgentsDialog.py Tue Mar 29 10:32:22 2016 +0200
@@ -0,0 +1,56 @@
+# -*- coding: utf-8 -*-
+
+# Copyright (c) 2012 - 2016 Detlev Offenbach <detlev@die-offenbachs.de>
+#
+
+"""
+Module implementing a dialog to show all saved user agent settings.
+"""
+
+from __future__ import unicode_literals
+
+from PyQt5.QtCore import QSortFilterProxyModel
+from PyQt5.QtGui import QFont, QFontMetrics
+from PyQt5.QtWidgets import QDialog
+
+from WebBrowser.WebBrowserWindow import WebBrowserWindow
+
+from .UserAgentModel import UserAgentModel
+
+from .Ui_UserAgentsDialog import Ui_UserAgentsDialog
+
+
+class UserAgentsDialog(QDialog, Ui_UserAgentsDialog):
+ """
+ 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(UserAgentsDialog, self).__init__(parent)
+ self.setupUi(self)
+
+ self.removeButton.clicked.connect(
+ self.userAgentsTable.removeSelected)
+ self.removeAllButton.clicked.connect(
+ self.userAgentsTable.removeAll)
+
+ self.userAgentsTable.verticalHeader().hide()
+ self.__userAgentModel = UserAgentModel(
+ WebBrowserWindow.userAgentsManager(), self)
+ self.__proxyModel = QSortFilterProxyModel(self)
+ self.__proxyModel.setSourceModel(self.__userAgentModel)
+ 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)
