type Font_type is ( Screen_9_by_15, Screen_8_by_13, Times_Roman_10, Times_Roman_24, Helvetica_10, Helvetica_12, Helvetica_18 );
procedure Text_Output
( | s | : String; |
font | : Font_type ); |
procedure Text_output
( | x, y | : GL.Int; |
main_size_x, main_size_y | : GL.Sizei; | |
s | : String; | |
font | : Font_type ); |
procedure Text_output
( | p | : GL.Double_Vector_3D; |
s | : String; | |
font | : Font_type ); |
procedure Put_Image
( | Image_ID | : Integer; |
x, y | : GL.Int; | |
size_x, size_y | : GL.Int; | |
main_size_x, main_size_y | : GL.Sizei ); |