[Goodies-dev] [Bug 16455] New: Panel font size in pixels instead of points

bugzilla-daemon at xfce.org bugzilla-daemon at xfce.org
Sat Feb 15 20:22:18 CET 2020


https://bugzilla.xfce.org/show_bug.cgi?id=16455

            Bug ID: 16455
           Summary: Panel font size in pixels instead of points
    Classification: Panel Plugins
           Product: Xfce4-datetime-plugin
           Version: 0.8.0
          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 9462
  --> https://bugzilla.xfce.org/attachment.cgi?id=9462&action=edit
Patch

Xfce4-datetime-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