Comment 11 for bug 733563

Revision history for this message
In , Lionel Le Folgoc (mrpouit) wrote :

Created attachment 4187
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.