external create : State_set.t -> Gui_event_handler.t
    = "create_state_set_manipulator"