In an app using PyGI and GTK3, I'm trying to let the user set the font family and size in a TextView through my app's settings dialog. In PyGI the TextView object has "set" methods for several properties, but not for font properties. I can set the font family via CSS using a CSS style provider. But I can't change that CSS dynamically to respect the font selected by a user. So how can I do this? (Note that the widget in question is actually the TextEditor from the quickly-widgets package and I'm using Quickly to build the app.)
Edit to clarify: I'm not wedded to using CSS, that just seems to be GTK's preferred approach. What I'm hoping for is a method of some kind, like GtkTextView.setFontProperties() or something like that. I can't find anything like that for font properties.