Helpviewer/UserAgent/UserAgentsDialog.py

changeset 1596
8d59e4f3c828
child 2223
054c285dab38
--- /dev/null	Thu Jan 01 00:00:00 1970 +0000
+++ b/Helpviewer/UserAgent/UserAgentsDialog.py	Sun Feb 05 16:22:37 2012 +0100
@@ -0,0 +1,53 @@
+# -*- coding: utf-8 -*-
+
+# Copyright (c) 2012 Detlev Offenbach <detlev@die-offenbachs.de>
+#
+
+"""
+Module implementing a dialog to show all saved user agent settings.
+"""
+
+from PyQt4.QtGui import QDialog, QFont, QFontMetrics, QSortFilterProxyModel
+
+import Helpviewer.HelpWindow
+
+from .UserAgentModel import UserAgentModel
+
+from .Ui_UserAgentsDialog import Ui_UserAgentsDialog
+
+import UI.PixmapCache
+
+
+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().__init__(parent)
+        self.setupUi(self)
+        
+        self.clearButton.setIcon(UI.PixmapCache.getIcon("clearLeft.png"))
+        
+        self.removeButton.clicked[()].connect(self.userAgentsTable.removeSelected)
+        self.removeAllButton.clicked[()].connect(self.userAgentsTable.removeAll)
+        
+        self.userAgentsTable.verticalHeader().hide()
+        self.__userAgentModel = \
+            UserAgentModel(Helpviewer.HelpWindow.HelpWindow.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)

eric ide

mercurial