mutable active_view : Ed_view.gui_view option = None