[Goodies-dev] [Bug 16456] New: Panel font size in pixels instead of points
bugzilla-daemon at xfce.org
bugzilla-daemon at xfce.org
Sat Feb 15 20:22:25 CET 2020
https://bugzilla.xfce.org/show_bug.cgi?id=16456
Bug ID: 16456
Summary: Panel font size in pixels instead of points
Classification: Panel Plugins
Product: Xfce4-cpufreq-plugin
Version: 1.2.1
Hardware: All
OS: Linux
Status: NEW
Severity: normal
Priority: Medium
Component: General
Assignee: goodies-dev at xfce.org
Reporter: roland.happy at gmx.at
Target Milestone: ---
Created attachment 9463
--> https://bugzilla.xfce.org/attachment.cgi?id=9463&action=edit
Patch
Xfce4-cpufreq-plugin shows the text in the panel in an a smaller font size than
other plugins. This is because it sets the font size as pixels instead of
points. The xfce default system font is set as points. Therefor setting the
system font to 10 (points == 13.33 pixel) and the plugin font size to 10
(pixels) leads to different sizes.
I've testet all other panel plugins with GtkInspector for this bug and only
xfce4-datetime-plugin and xfce4-cpufreq-plugin are affected.
The xfce4-genmon-plugin had the same bug, whitch got fixed in this commit:
https://github.com/xfce-mirror/xfce4-genmon-plugin/commit/331c77853276b9d9f369899618140c505c34546f
I've created a patch which does basically the same like the genmon patch and it
works from my testing.
--
You are receiving this mail because:
You are the assignee for the bug.
More information about the Goodies-dev
mailing list