let active_window = ref (None : gui_window option)