Python bindings and Gtk3

[Mike Alexander]

> On Aug 9, 2017, at 1:49 PM, John Ralls <jralls at ceridwen.fremont.ca.us> wrote:
> 
> Hmm, looks like both whitespace and font are larger. What version of Gtk+-3?
> 

It’s version 3.22.

> Hmm, looks like both whitespace and font are larger. What version of Gtk+-3?
> 
> You can try fiddling with the tab-label styling in ~/.config/gtk-3.0/gtk.css. There's some guidance in https://developer.gnome.org/gtk3/unstable/theming.html <https://developer.gnome.org/gtk3/unstable/theming.html>.

I’ll take a look at that.

        Mike