[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