diff -r eaf2cf171f3a -r 5cf645f6daab eric6/Helpviewer/ZoomManager/ZoomValuesDialog.py
--- a/eric6/Helpviewer/ZoomManager/ZoomValuesDialog.py Sat Sep 07 14:45:27 2019 +0200
+++ /dev/null Thu Jan 01 00:00:00 1970 +0000
@@ -1,71 +0,0 @@
-# -*- coding: utf-8 -*-
-
-# Copyright (c) 2015 - 2019 Detlev Offenbach <detlev@die-offenbachs.de>
-#
-
-"""
-Module implementing a dialog to show all saved zoom values.
-"""
-
-from __future__ import unicode_literals
-
-from PyQt5.QtCore import QSortFilterProxyModel
-from PyQt5.QtGui import QFont, QFontMetrics
-from PyQt5.QtWidgets import QDialog
-
-from .Ui_ZoomValuesDialog import Ui_ZoomValuesDialog
-
-
-class ZoomValuesDialog(QDialog, Ui_ZoomValuesDialog):
- """
- Class implementing a dialog to show all saved zoom values.
- """
- def __init__(self, parent=None):
- """
- Constructor
-
- @param parent reference to the parent widget (QWidget)
- """
- super(ZoomValuesDialog, self).__init__(parent)
- self.setupUi(self)
-
- self.removeButton.clicked.connect(
- self.zoomValuesTable.removeSelected)
- self.removeAllButton.clicked.connect(self.zoomValuesTable.removeAll)
-
- import Helpviewer.HelpWindow
- from .ZoomValuesModel import ZoomValuesModel
-
- self.zoomValuesTable.verticalHeader().hide()
- self.__zoomValuesModel = ZoomValuesModel(
- Helpviewer.HelpWindow.HelpWindow.zoomManager(), self)
- self.__proxyModel = QSortFilterProxyModel(self)
- self.__proxyModel.setSourceModel(self.__zoomValuesModel)
- self.searchEdit.textChanged.connect(
- self.__proxyModel.setFilterFixedString)
- self.zoomValuesTable.setModel(self.__proxyModel)
-
- fm = QFontMetrics(QFont())
- height = fm.height() + fm.height() // 3
- self.zoomValuesTable.verticalHeader().setDefaultSectionSize(height)
- self.zoomValuesTable.verticalHeader().setMinimumSectionSize(-1)
-
- self.__calculateHeaderSizes()
-
- def __calculateHeaderSizes(self):
- """
- Private method to calculate the section sizes of the horizontal header.
- """
- fm = QFontMetrics(QFont())
- for section in range(self.__zoomValuesModel.columnCount()):
- header = self.zoomValuesTable.horizontalHeader()\
- .sectionSizeHint(section)
- if section == 0:
- header = fm.width("extraveryveryverylongsitename")
- elif section == 1:
- header = fm.width("averagelongzoomvalue")
- buffer = fm.width("mm")
- header += buffer
- self.zoomValuesTable.horizontalHeader()\
- .resizeSection(section, header)
- self.zoomValuesTable.horizontalHeader().setStretchLastSection(True)
