type Gfx_Mode is private;
type A_Gfx_Mode is access all Gfx_Mode;
type Gfx_Mode_List is private;
type A_Gfx_Mode_List is access all Gfx_Mode_List;
type Gfx_Detect_Type is private;
subtype Gfx_Capability is Unsigned_32;
type Switch_Mode is private;
type Switch_Dir is private;
type A_Switch_Callback is access procedure;
GFX_AUTODETECT : constant Gfx_Detect_Type;
GFX_AUTODETECT_FULLSCREEN : constant Gfx_Detect_Type;
GFX_AUTODETECT_WINDOWED : constant Gfx_Detect_Type;
GFX_CAN_SCROLL : constant Gfx_Capability;
GFX_CAN_TRIPLE_BUFFER : constant Gfx_Capability;
GFX_HW_CURSOR : constant Gfx_Capability;
GFX_HW_HLINE : constant Gfx_Capability;
GFX_HW_HLINE_XOR : constant Gfx_Capability;
GFX_HW_HLINE_SOLID_PATTERN : constant Gfx_Capability;
GFX_HW_HLINE_COPY_PATTERN : constant Gfx_Capability;
GFX_HW_FILL : constant Gfx_Capability;
GFX_HW_FILL_XOR : constant Gfx_Capability;
GFX_HW_FILL_SOLID_PATTERN : constant Gfx_Capability;
GFX_HW_FILL_COPY_PATTERN : constant Gfx_Capability;
GFX_HW_LINE : constant Gfx_Capability;
GFX_HW_LINE_XOR : constant Gfx_Capability;
GFX_HW_TRIANGLE : constant Gfx_Capability;
GFX_HW_TRIANGLE_XOR : constant Gfx_Capability;
GFX_HW_TEXTOUT_FIXED : constant Gfx_Capability;
GFX_HW_VRAM_BLIT : constant Gfx_Capability;
GFX_HW_VRAM_BLIT_MASKED : constant Gfx_Capability;
GFX_HW_MEM_BLIT : constant Gfx_Capability;
GFX_HW_MEM_BLIT_MASKED : constant Gfx_Capability;
SWITCH_NONE : constant Switch_Mode;
SWITCH_PAUSE : constant Switch_Mode;
SWITCH_AMNESIA : constant Switch_Mode;
SWITCH_BACKGROUND : constant Switch_Mode;
SWITCH_BACKAMNESIA : constant Switch_Mode;
SWITCH_IN : constant Switch_Dir;
SWITCH_OUT : constant Switch_Dir;
procedure Destroy_Gfx_Mode_List
( | mode_list | : in out A_Gfx_Mode_List ); |
function Get_Color_Depth return Natural;
function Get_Display_Switch_Mode return Switch_Mode;
function Is_Windowed_Mode return Boolean;
procedure Remove_Display_Switch_Callback
( | cb | : not null A_Switch_Callback ); |