diff -r f99d60d6b59b -r 2602857055c5 eric6/E5Gui/E5SqueezeLabels.py
--- /dev/null Thu Jan 01 00:00:00 1970 +0000
+++ b/eric6/E5Gui/E5SqueezeLabels.py Sun Apr 14 15:09:21 2019 +0200
@@ -0,0 +1,134 @@
+# -*- coding: utf-8 -*-
+
+# Copyright (c) 2008 - 2019 Detlev Offenbach <detlev@die-offenbachs.de>
+#
+
+"""
+Module implementing labels that squeeze their contents to fit the size of the
+label.
+"""
+
+from __future__ import unicode_literals
+
+from PyQt5.QtCore import Qt
+from PyQt5.QtWidgets import QLabel
+
+from Utilities import compactPath
+
+
+class E5SqueezeLabel(QLabel):
+ """
+ Class implementing a label that squeezes its contents to fit its size.
+ """
+ def __init__(self, parent=None):
+ """
+ Constructor
+
+ @param parent reference to the parent Widget (QWidget)
+ """
+ super(E5SqueezeLabel, self).__init__(parent)
+
+ self.__text = ''
+ self.__elided = ''
+
+ def paintEvent(self, event):
+ """
+ Protected method called when some painting is required.
+
+ @param event reference to the paint event (QPaintEvent)
+ """
+ fm = self.fontMetrics()
+ if fm.width(self.__text) > self.contentsRect().width():
+ self.__elided = fm.elidedText(
+ self.text(), Qt.ElideMiddle, self.width())
+ super(E5SqueezeLabel, self).setText(self.__elided)
+ else:
+ super(E5SqueezeLabel, self).setText(self.__text)
+ super(E5SqueezeLabel, self).paintEvent(event)
+
+ def setText(self, txt):
+ """
+ Public method to set the label's text.
+
+ @param txt the text to be shown (string)
+ """
+ self.__text = txt
+ super(E5SqueezeLabel, self).setText(self.__text)
+
+
+class E5SqueezeLabelPath(QLabel):
+ """
+ Class implementing a label showing a file path compacted to fit its size.
+ """
+ def __init__(self, parent=None):
+ """
+ Constructor
+
+ @param parent reference to the parent Widget (QWidget)
+ """
+ super(E5SqueezeLabelPath, self).__init__(parent)
+
+ self.__path = ''
+ self.__surrounding = "{0}"
+
+ def setSurrounding(self, surrounding):
+ """
+ Public method to set the surrounding of the path string.
+
+ @param surrounding the a string containg placeholders for the path
+ (string)
+ """
+ self.__surrounding = surrounding
+ super(E5SqueezeLabelPath, self).setText(
+ self.__surrounding.format(self.__path))
+
+ def setPath(self, path):
+ """
+ Public method to set the path of the label.
+
+ @param path path to be shown (string)
+ """
+ self.__path = path
+ super(E5SqueezeLabelPath, self).setText(
+ self.__surrounding.format(self.__path))
+
+ def setTextPath(self, surrounding, path):
+ """
+ Public method to set the surrounding and the path of the label.
+
+ @param surrounding the a string containg placeholders for the path
+ (string)
+ @param path path to be shown (string)
+ """
+ self.__surrounding = surrounding
+ self.__path = path
+ super(E5SqueezeLabelPath, self).setText(
+ self.__surrounding.format(self.__path))
+
+ def paintEvent(self, event):
+ """
+ Protected method called when some painting is required.
+
+ @param event reference to the paint event (QPaintEvent)
+ """
+ fm = self.fontMetrics()
+ if (fm.width(self.__surrounding.format(self.__path)) >
+ self.contentsRect().width()):
+ super(E5SqueezeLabelPath, self).setText(
+ self.__surrounding.format(compactPath(self.__path,
+ self.contentsRect().width(),
+ self.length))
+ )
+ else:
+ super(E5SqueezeLabelPath, self).setText(
+ self.__surrounding.format(self.__path))
+ super(E5SqueezeLabelPath, self).paintEvent(event)
+
+ def length(self, txt):
+ """
+ Public method to return the length of a text in pixels.
+
+ @param txt text to calculate the length for after wrapped (string)
+ @return length of the wrapped text in pixels (integer)
+ """
+ return self.fontMetrics().width(self.__surrounding.format(txt))
