/usr/share/ada/adainclude/gtkada/gdk-main.ads is in libgtkada2.24.1-dev 2.24.1-2.
This file is owned by root:root, with mode 0o644.
The actual contents of the file can be viewed below.
1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 16 17 18 19 20 21 22 23 24 25 26 27 28 29 30 31 32 33 34 35 36 37 38 39 40 41 42 43 44 45 46 47 48 49 50 51 52 53 54 55 56 57 58 59 60 61 62 63 64 65 66 67 68 69 70 71 72 73 74 75 76 77 78 79 80 81 82 83 84 85 86 87 88 89 90 91 92 93 94 95 96 97 98 99 100 101 102 103 104 105 106 107 108 109 110 111 112 113 114 115 116 117 118 119 120 121 122 123 124 125 126 127 128 129 130 131 132 133 134 135 136 137 138 139 140 141 142 143 144 145 146 147 148 | -----------------------------------------------------------------------
-- GtkAda - Ada95 binding for Gtk+/Gnome --
-- --
-- Copyright (C) 1998-2000 E. Briot, J. Brobecker and A. Charlet --
-- Copyright (C) 2000-2006 AdaCore --
-- --
-- This library is free software; you can redistribute it and/or --
-- modify it under the terms of the GNU General Public --
-- License as published by the Free Software Foundation; either --
-- version 2 of the License, or (at your option) any later version. --
-- --
-- This library is distributed in the hope that it will be useful, --
-- but WITHOUT ANY WARRANTY; without even the implied warranty of --
-- MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the GNU --
-- General Public License for more details. --
-- --
-- You should have received a copy of the GNU General Public --
-- License along with this library; if not, write to the --
-- Free Software Foundation, Inc., 59 Temple Place - Suite 330, --
-- Boston, MA 02111-1307, USA. --
-- --
-----------------------------------------------------------------------
-- <description>
-- This package provides routines to handle initialization and set up of the
-- Gdk library.
-- </description>
-- <c_version>1.3.6</c_version>
-- <group>Gdk, the low-level API</group>
with Glib; use Glib;
with Gdk.Cursor;
with Gdk.Event;
with Gdk.Window;
package Gdk.Main is
procedure Init;
-- Initialize the library for use.
-- The command line arguments are modified to reflect any arguments
-- which were not handled. (Such arguments should either
-- be handled by the application or dismissed).
procedure Gdk_Exit (Error_Code : Gint);
-- Restore the library to an un-itialized state and exits
-- the program using the "exit" system call.
-- Error_Code is the error value to pass to "exit".
-- Allocated structures are freed and the program exits cleanly.
-- This function is deprecated.
function Set_Locale return String;
-- Initialize handling of internationalization of strings.
-- See Gtkada.Intl for more details.
procedure Set_Locale;
-- Drops the string returned by the Set_Locale function;
procedure Set_Use_Xshm (Use_Xshm : Boolean := True);
-- Set whether shared memory (when supported by the graphic server) should
-- be used.
function Get_Use_Xshm return Boolean;
-- Return whether shared memory on the graphic server is used.
function Get_Display return String;
-- Return the name of the display.
type Gdk_Grab_Status is
(Grab_Success,
Grab_Already_Grabbed,
Gdk_Grab_Invalid_Time,
Gdk_Grab_Not_Viewable,
Gdk_Grab_Frozen);
function Pointer_Grab
(Window : Gdk.Window.Gdk_Window;
Owner_Events : Boolean := True;
Event_Mask : Gdk.Event.Gdk_Event_Mask;
Confine_To : Gdk.Window.Gdk_Window := Gdk.Window.Null_Window;
Cursor : Gdk.Cursor.Gdk_Cursor := Gdk.Cursor.Null_Cursor;
Time : Guint32 := 0) return Gdk_Grab_Status;
-- Grab the pointer to a specific window.
-- - Window is the window which will receive the grab
-- - Owner_Events specifies whether events will be reported as is,
-- or relative to Window
-- - Event_Mask masks only interesting events
-- - Confine_To limits the cursor movement to the specified window
-- - Cursor changes the cursor for the duration of the grab
-- - Time specifies the time
-- Requires a corresponding call to Pointer_Ungrab
procedure Pointer_Ungrab (Time : Guint32 := 0);
-- Release any pointer grab.
function Pointer_Is_Grabbed return Boolean;
-- Tell wether there is an active pointer grab in effect.
function Keyboard_Grab
(Window : Gdk.Window.Gdk_Window;
Owner_Events : Boolean := True;
Time : Guint32 := 0) return Gdk_Grab_Status;
-- Grab the keyboard to a specific window.
-- - Window is the window which will receive the grab
-- - Owner_Events specifies whether events will be reported as is,
-- or relative to Window
-- - Time specifies the time
-- Requires a corresponding call to Keyboard_Ungrab
procedure Keyboard_Ungrab (Time : Guint32 := 0);
-- Release any keyboard grab.
function Screen_Width return Gint;
-- Return the width of the screen.
function Screen_Height return Gint;
-- Return the height of the screen.
function Screen_Width_MM return Gint;
-- Return the width of the screen in millimeters.
function Screen_Height_MM return Gint;
-- Return the height of the screen in millimeters.
procedure Flush;
-- Flush the queue of graphic events and then wait
-- until all requests have been received and processed.
procedure Beep;
-- Emit a beep.
procedure Set_Double_Click_Time (Msec : Guint);
private
pragma Import (C, Gdk_Exit, "gdk_exit");
pragma Import (C, Screen_Width, "gdk_screen_width");
pragma Import (C, Screen_Height, "gdk_screen_height");
pragma Import (C, Screen_Width_MM, "gdk_screen_width_mm");
pragma Import (C, Screen_Height_MM, "gdk_screen_height_mm");
pragma Import (C, Set_Double_Click_Time, "gdk_set_double_click_time");
pragma Import (C, Flush, "gdk_flush");
pragma Import (C, Beep, "gdk_beep");
end Gdk.Main;
-- missing:
-- gdk_wcstombs
-- gdk_mbstowcs
|