Lens-based Gtk interface