Allow font selection

Submitted by Lionel Le Folgoc

Assigned to Igor Slepchin

Link to original bug (#8446)

Description

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.

Patch 4187, "Patch proposed by Ivan Frederiks":
font_selection.patch

Version: 0.5.4.3