Add API for setting editor font
Currently there's only one way to set font for the whole GtkSourceView
. It's CSS. And it's really hacky:
- CSS is a mechanism for styling, not for application configuration.
- CSS is poorly integrated with Pango, which is at least used by
GtkFontDialog
. -
GtkStyleContext
is now deprecated, so loading some CSS for a specific widget non-globally is deprecated. - Everybody implements setting font for
GtkSourceView
. And I think it's better to have an API for that instead of making everybody write hacks.
So I suggest to add some API for setting font for GtkSourceView
.