file_view now ready for Gtk.InfoBar