Gtk-based UI backend
