Mini mode: Make font size of dropdown box configurable

[Adam Olsen]

Since a font size of 8px is hard to read (at least for me) I changed the size to 9px. This should not be done by hacking code but as configurable option instead.

This ticket was migrated from the old trac: re #265

[Adam Olsen (arolsen)]

Fonts follow the gtk theme.

[Mathias Brodala (mathbr)]

No, it does not here, since it has been specified:

[…]
        self.model = gtk.ListStore(str, object)
        self.title_box = gtk.ComboBox(self.model)
        cell = gtk.CellRendererText()
        cell.set_property('font-desc', pango.FontDescription('Normal 8'))
        cell.set_property('ellipsize', pango.ELLIPSIZE_END)

        self.title_box.pack_start(cell, True)

[…]

I always change the font-size to at least 9 to make it readable.

[Mathias Brodala (mathbr)]

This patch adds a new option "font_size" and a new item to the plugin’s configuration dialog.

Known issue: Setting a different font size after the plugin has been initialized has no effect until you restart Exaile. Please let me know if someone has an idea how to solve this.

[Adam Olsen (arolsen)]

Committed in r1350