Primitive operations:
Delete (overriding Game_Views.Delete)
Events.Listeners.To_String (Inherited)
Game_Views.Construct (Inherited)
Game_Views.Get_Process_Name (Inherited)
Game_Views.Handle_Close_Request (Inherited)
Game_Views.Handle_Loading (Inherited)
Game_Views.Handle_Paused (Inherited)
Game_Views.Start_View (Inherited)
Game_Views.Stop_View (Inherited)
Game_Views.Tick (Inherited)
Handle_Close_Request
Handle_Event (overriding Game_Views.Handle_Event)
Handle_Paused
Objects.To_String (Inherited)
Set_Filename
Set_Gridsnap
Set_Modified
Start_View
Stop_View
Toggle_Palette
Update_Win_Title