main:Design.main_window_extension_points ->
available:GuiConfig.available ->
enabled:GuiConfig.enabled -> object method run : unit -> unit end