! Please note that this is a snapshot of our old Bugzilla server, which is read only since May 29, 2020. Please go to gitlab.xfce.org for our new server !
Allow font selection


Description Lionel Le Folgoc 2012-02-11 19:54:10 CET
Created attachment 4187 
Patch proposed by Ivan Frederiks


An xubuntu user reported that the font used by the plugin is harcoded, and that it'd be nice to be able to set it from the settings dialog. I attached the patch he proposed (it seems to apply fine against git master).

Comment 1 Steve Dodier-Lazaro editbugs 2015-02-08 20:10:45 CET
<Design SIG hat on>I would actually like to see a patch that simply uses the system font, and dumps any internal reference to a font. Having plugins use a custom font for such an unimportant thing causes usability issues since users who do need a high contrast font must search through multiple UIs to fix the fonts.

The Whiskermenu and Clock plugins can be used as examples. They both use the system font.</Design SIG hat off>
Comment 2 Git Bot editbugs 2020-05-23 01:14:00 CEST
-- GitLab Migration Automatic Message --

This bug has been migrated to xfce.org's GitLab instance and has been closed from further activity.

You can subscribe and participate further through the new bug through this link to our GitLab instance: https://gitlab.xfce.org/panel-plugins/xfce4-xkb-plugin/-/issues/14.

Please create an account or use an existing account on one of our supported OAuth providers. 

If you want to fork to submit patches and merge requests please continue reading here: https://docs.xfce.org/contribute/dev/git/start#gitlab_forks_and_merge_requests

Also feel free to reach out to us on the mailing list https://mail.xfce.org/mailman/listinfo/xfce4-dev

Bug #8446

Reported by:
Lionel Le Folgoc
Reported on: 2012-02-11
Last modified on: 2020-05-23


Igor Slepchin
CC List:
3 users




Patch proposed by Ivan Frederiks (11.58 KB, patch)
2012-02-11 19:54 CET , Lionel Le Folgoc
no flags

Additional information