let default = !Config.is_gui