Created attachment 4187 [details] Patch proposed by Ivan Frederiks Hi, 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). Thanks.
<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>