godot/ui/graph_view_model.py
def godot_options(self, info):
        """ Handles display of the options menu. """

        if info.initialized:
            self.edit_traits( parent = info.ui.control,
                              kind   = "livemodal",
                              view   = "options_view" )
def godot_options(self, info):
        if info.initialized:
            self.edit_traits( parent = info.ui.control,
                              kind   = "livemodal",
                              view   = "options_view" )
def godot_options ( self , info ) : if info . initialized : self . edit_traits ( parent = info . ui . control , kind = "livemodal" , view = "options_view" )
Handles display of the options menu.
Handles display of the options menu .