Primitive operations:
Delete (overriding Game_Views.Delete)
Events.Listeners.To_String (Inherited)
Game_Views.Attach (Inherited)
Game_Views.Construct (Inherited)
Game_Views.Detach (Inherited)
Game_Views.Get_Process_Name (Inherited)
Game_Views.Get_Widget (Inherited)
Game_Views.Get_Window (Inherited)
Game_Views.Handle_Close_Request (Inherited)
Game_Views.Handle_Loading (Inherited)
Game_Views.Handle_Paused (Inherited)
Game_Views.Register (Inherited)
Game_Views.Set_Window (Inherited)
Game_Views.Tick (Inherited)
Game_Views.Unregister (Inherited)
Handle_Close_Request
Handle_Event (overriding Game_Views.Handle_Event)
Handle_Paused
Objects.To_String (Inherited)
Processes.Get_Process_Name (Inherited)
Processes.Tick (Inherited)
Set_Filename
Set_Gridsnap
Set_Modified
Toggle_Palette
Update_Win_Title