[Xfce-bugs] [Bug 16222] New: Ability to choose custom font size?

bugzilla-daemon at xfce.org bugzilla-daemon at xfce.org
Tue Nov 26 15:07:03 CET 2019


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

            Bug ID: 16222
           Summary: Ability to choose custom font size?
    Classification: Xfce Core
           Product: Xfce4-panel
           Version: Unspecified
          Hardware: Other
                OS: Linux
            Status: NEW
          Severity: normal
          Priority: Medium
         Component: General
          Assignee: xfce-bugs at xfce.org
          Reporter: orschiro at gmail.com
  Target Milestone: Panel 4.14

Created attachment 9277
  --> https://bugzilla.xfce.org/attachment.cgi?id=9277&action=edit
Panel screenshot

Hi all, 

Does anyone else find value in choosing a panel font size different from the
general font size of the system?

In my case, I shrinked my panel to 16px and my default font size for the system
just looked too large on that small panel. 

Had to edit .config/gtk-3.0/gtk.css to shrink font size just for the panel
which is doable. 

I just thought I put it out for discussion if such a setting would be
beneficial to others too.

Thanks!

-- 
You are receiving this mail because:
You are the assignee for the bug.


More information about the Xfce-bugs mailing list