Allow to specify a font size

[savchenko]

Would it be considered "in scope" to add an optional flag that sets the font size?

Allowing to specify a font name might be a bit of a stretch, but will certainly increase dragon's popularity amongst /r/unixporn.

[mwh]

I'm not completely sure what the value of this is (it will follow the global GTK+ settings currently, so if you want bigger/smaller text on buttons that will just happen for free), but if there is some decent reason that a particular execution of the program could want to have a different font then I suppose an option would be ok for that.

If it's possible to opt into some global GTK+ means of changing theme per-execution, that would probably be better and defer more of the work to the library rather than having options to cover everything in here.

[savchenko]

The value of this is that "dropbox" does not need the same level of readability as, for example, text input field. Additionally, given the number of GTK engines/themes in the wild, it would allow an almost instant "fix" if text renders too large or too small.

I think that allowing application to render with entirely different theme will be more prone to bugs and does not solve the initial problem - scale of the text.