I know it's too early right now, but I wanted to add this as a feature request nevertheless after reading the release notes for 0.8.1.
With GTK3 there'd be the possibility of using the dark theme variant, which I think might be a great addition to an already dark terminal. Something like:
Gtk.Settings.get_default().set_property('gtk-application-prefer-dark-theme', True)
+1
that for gtk3 port :)
in gtk3
If you want this feature, please vote on FeatHub
TODO:
_select_gtk_theme function accordingly
Most helpful comment
TODO:
Change the
_select_gtk_themefunction accordingly