https://bugs.kde.org/show_bug.cgi?id=405454
--- Comment #1 from Kai Uwe Broulik <k...@privat.broulik.de> --- Git commit de1c1c93c88334fef78d0d568fce1ad6f118dc79 by Kai Uwe Broulik. Committed on 14/03/2019 at 09:37. Pushed by broulik into branch 'Plasma/5.15'. [Pager] Shrink label font size dynamically Tiny font is still more useful than "..." Differential Revision: https://phabricator.kde.org/D19751 M +4 -0 applets/pager/package/contents/ui/main.qml https://commits.kde.org/plasma-desktop/de1c1c93c88334fef78d0d568fce1ad6f118dc79 -- You are receiving this mail because: You are watching all bug changes.
