This file is indexed.

/usr/share/ada/adainclude/gtkada/gdk-screen.ads is in libgtkada16.1.0-dev 17.0.2017-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
149
150
151
152
153
154
155
156
157
158
159
160
161
162
163
164
165
166
167
168
169
170
171
172
173
174
175
176
177
178
179
180
181
182
183
184
185
186
187
188
189
190
191
192
193
194
195
196
197
198
199
200
201
202
203
204
205
206
207
208
209
210
211
212
213
214
215
216
217
218
219
220
221
222
223
224
225
226
227
228
229
230
231
232
233
234
235
236
237
238
239
240
241
242
243
244
245
246
247
248
249
250
251
252
253
254
255
256
257
258
259
260
261
262
263
264
265
266
267
268
269
270
271
272
273
274
275
276
277
278
279
280
281
282
283
284
285
286
287
288
289
290
291
292
293
294
295
296
297
298
299
300
301
302
303
304
305
306
307
308
309
310
311
312
313
314
315
316
317
318
319
320
321
322
323
324
325
326
327
328
329
330
331
332
333
334
335
336
337
338
339
340
341
342
343
344
345
346
347
348
349
350
351
352
353
354
355
356
357
358
359
360
361
362
363
364
365
366
367
368
369
370
371
372
373
374
375
376
377
378
379
380
381
382
383
384
385
386
387
388
389
390
391
392
393
394
395
396
397
398
399
400
401
402
403
------------------------------------------------------------------------------
--                                                                          --
--      Copyright (C) 1998-2000 E. Briot, J. Brobecker and A. Charlet       --
--                     Copyright (C) 2000-2017, AdaCore                     --
--                                                                          --
-- This library is free software;  you can redistribute it and/or modify it --
-- under terms of the  GNU General Public License  as published by the Free --
-- Software  Foundation;  either version 3,  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 MERCHAN- --
-- TABILITY or FITNESS FOR A PARTICULAR PURPOSE.                            --
--                                                                          --
--                                                                          --
--                                                                          --
--                                                                          --
--                                                                          --
-- You should have received a copy of the GNU General Public License and    --
-- a copy of the GCC Runtime Library Exception along with this program;     --
-- see the files COPYING3 and COPYING.RUNTIME respectively.  If not, see    --
-- <http://www.gnu.org/licenses/>.                                          --
--                                                                          --
------------------------------------------------------------------------------

--  <description>
--  Gdk.Screen.Gdk_Screen objects are the GDK representation of the screen on
--  which windows can be displayed and on which the pointer moves. X originally
--  identified screens with physical screens, but nowadays it is more common to
--  have a single Gdk.Screen.Gdk_Screen which combines several physical
--  monitors (see Gdk.Screen.Get_N_Monitors).
--
--  GdkScreen is used throughout GDK and GTK+ to specify which screen the top
--  level windows are to be displayed on. it is also used to query the screen
--  specification and default settings such as the default visual
--  (gdk_screen_get_system_visual), the dimensions of the physical monitors
--  (gdk_screen_get_monitor_geometry), etc.
--
--  </description>
--  <group>Gdk, the low-level API</group>
pragma Ada_2005;

pragma Warnings (Off, "*is already use-visible*");
with Cairo;           use Cairo;
with Gdk;             use Gdk;
with Gdk.Display;     use Gdk.Display;
with Gdk.Rectangle;   use Gdk.Rectangle;
with Gdk.Types;       use Gdk.Types;
with Gdk.Visual;      use Gdk.Visual;
with Glib;            use Glib;
with Glib.Object;     use Glib.Object;
with Glib.Properties; use Glib.Properties;

package Gdk.Screen is

   type Gdk_Screen_Record is new GObject_Record with null record;
   type Gdk_Screen is access all Gdk_Screen_Record'Class;

   ------------------
   -- Constructors --
   ------------------

   function Get_Type return Glib.GType;
   pragma Import (C, Get_Type, "gdk_screen_get_type");

   -------------
   -- Methods --
   -------------

   function Get_Active_Window
      (Screen : not null access Gdk_Screen_Record) return Gdk.Gdk_Window;
   --  Returns the screen's currently active window.
   --  On X11, this is done by inspecting the _NET_ACTIVE_WINDOW property on
   --  the root window, as described in the [Extended Window Manager
   --  Hints](http://www.freedesktop.org/Standards/wm-spec). If there is no
   --  currently currently active window, or the window manager does not
   --  support the _NET_ACTIVE_WINDOW hint, this function returns null.
   --  On other platforms, this function may return null, depending on whether
   --  it is implementable on that platform.
   --  The returned window should be unrefed using g_object_unref when no
   --  longer needed.
   --  Since: gtk+ 2.10

   function Get_Display
      (Screen : not null access Gdk_Screen_Record)
       return Gdk.Display.Gdk_Display;
   --  Gets the display to which the Screen belongs.
   --  Since: gtk+ 2.2

   function Get_Font_Options
      (Screen : not null access Gdk_Screen_Record)
       return Cairo.Cairo_Font_Options;
   --  Gets any options previously set with Gdk.Screen.Set_Font_Options.
   --  Since: gtk+ 2.10

   procedure Set_Font_Options
      (Screen  : not null access Gdk_Screen_Record;
       Options : in out Cairo.Cairo_Font_Options);
   --  Sets the default font options for the screen. These options will be set
   --  on any Pango.Context.Pango_Context's newly created with
   --  gdk_pango_context_get_for_screen. Changing the default set of font
   --  options does not affect contexts that have already been created.
   --  Since: gtk+ 2.10
   --  "options": a Cairo.Cairo_Font_Options, or null to unset any previously
   --  set default font options.

   function Get_Height
      (Screen : not null access Gdk_Screen_Record) return Gint;
   --  Gets the height of Screen in pixels
   --  Since: gtk+ 2.2

   function Get_Height_Mm
      (Screen : not null access Gdk_Screen_Record) return Gint;
   --  Returns the height of Screen in millimeters. Note that on some X
   --  servers this value will not be correct.
   --  Since: gtk+ 2.2

   function Get_Monitor_At_Point
      (Screen : not null access Gdk_Screen_Record;
       X      : Gint;
       Y      : Gint) return Gint;
   --  Returns the monitor number in which the point (X,Y) is located.
   --  Since: gtk+ 2.2
   --  "x": the x coordinate in the virtual screen.
   --  "y": the y coordinate in the virtual screen.

   function Get_Monitor_At_Window
      (Screen : not null access Gdk_Screen_Record;
       Window : Gdk.Gdk_Window) return Gint;
   --  Returns the number of the monitor in which the largest area of the
   --  bounding rectangle of Window resides.
   --  Since: gtk+ 2.2
   --  "window": a Gdk.Gdk_Window

   procedure Get_Monitor_Geometry
      (Screen      : not null access Gdk_Screen_Record;
       Monitor_Num : Gint;
       Dest        : out Gdk.Rectangle.Gdk_Rectangle);
   --  Retrieves the Gdk.Rectangle.Gdk_Rectangle representing the size and
   --  position of the individual monitor within the entire screen area.
   --  Monitor numbers start at 0. To obtain the number of monitors of Screen,
   --  use Gdk.Screen.Get_N_Monitors.
   --  Note that the size of the entire screen area can be retrieved via
   --  Gdk.Screen.Get_Width and Gdk.Screen.Get_Height.
   --  Since: gtk+ 2.2
   --  "monitor_num": the monitor number
   --  "dest": a Gdk.Rectangle.Gdk_Rectangle to be filled with the monitor
   --  geometry

   function Get_Monitor_Height_Mm
      (Screen      : not null access Gdk_Screen_Record;
       Monitor_Num : Gint) return Gint;
   --  Gets the height in millimeters of the specified monitor.
   --  Since: gtk+ 2.14
   --  "monitor_num": number of the monitor, between 0 and
   --  gdk_screen_get_n_monitors (screen)

   function Get_Monitor_Plug_Name
      (Screen      : not null access Gdk_Screen_Record;
       Monitor_Num : Gint) return UTF8_String;
   --  Returns the output name of the specified monitor. Usually something
   --  like VGA, DVI, or TV, not the actual product name of the display device.
   --  Since: gtk+ 2.14
   --  "monitor_num": number of the monitor, between 0 and
   --  gdk_screen_get_n_monitors (screen)

   function Get_Monitor_Scale_Factor
      (Screen      : not null access Gdk_Screen_Record;
       Monitor_Num : Gint) return Gint;
   --  Returns the internal scale factor that maps from monitor coordiantes to
   --  the actual device pixels. On traditional systems this is 1, but on very
   --  high density outputs this can be a higher value (often 2).
   --  This can be used if you want to create pixel based data for a particula
   --  monitor, but most of the time you're drawing to a window where it is
   --  better to use Gdk.Window.Get_Scale_Factor instead.
   --  Since: gtk+ 3.10
   --  "monitor_num": number of the monitor, between 0 and
   --  gdk_screen_get_n_monitors (screen)

   function Get_Monitor_Width_Mm
      (Screen      : not null access Gdk_Screen_Record;
       Monitor_Num : Gint) return Gint;
   --  Gets the width in millimeters of the specified monitor, if available.
   --  Since: gtk+ 2.14
   --  "monitor_num": number of the monitor, between 0 and
   --  gdk_screen_get_n_monitors (screen)

   procedure Get_Monitor_Workarea
      (Screen      : not null access Gdk_Screen_Record;
       Monitor_Num : Gint;
       Dest        : out Gdk.Rectangle.Gdk_Rectangle);
   --  Retrieves the Gdk.Rectangle.Gdk_Rectangle representing the size and
   --  position of the "work area" on a monitor within the entire screen area.
   --  The work area should be considered when positioning menus and similar
   --  popups, to avoid placing them below panels, docks or other desktop
   --  components.
   --  Note that not all backends may have a concept of workarea. This
   --  function will return the monitor geometry if a workarea is not
   --  available, or does not apply.
   --  Monitor numbers start at 0. To obtain the number of monitors of Screen,
   --  use Gdk.Screen.Get_N_Monitors.
   --  Since: gtk+ 3.4
   --  "monitor_num": the monitor number
   --  "dest": a Gdk.Rectangle.Gdk_Rectangle to be filled with the monitor
   --  workarea

   function Get_N_Monitors
      (Screen : not null access Gdk_Screen_Record) return Gint;
   --  Returns the number of monitors which Screen consists of.
   --  Since: gtk+ 2.2

   function Get_Number
      (Screen : not null access Gdk_Screen_Record) return Gint;
   --  Gets the index of Screen among the screens in the display to which it
   --  belongs. (See Gdk.Screen.Get_Display)
   --  Since: gtk+ 2.2

   function Get_Primary_Monitor
      (Screen : not null access Gdk_Screen_Record) return Gint;
   --  Gets the primary monitor for Screen. The primary monitor is considered
   --  the monitor where the "main desktop" lives. While normal application
   --  windows typically allow the window manager to place the windows,
   --  specialized desktop applications such as panels should place themselves
   --  on the primary monitor.
   --  If no primary monitor is configured by the user, the return value will
   --  be 0, defaulting to the first monitor.
   --  Since: gtk+ 2.20

   function Get_Resolution
      (Screen : not null access Gdk_Screen_Record) return Gdouble;
   --  Gets the resolution for font handling on the screen; see
   --  Gdk.Screen.Set_Resolution for full details.
   --  Since: gtk+ 2.10

   procedure Set_Resolution
      (Screen : not null access Gdk_Screen_Record;
       Dpi    : Gdouble);
   --  Sets the resolution for font handling on the screen. This is a scale
   --  factor between points specified in a Pango.Font.Pango_Font_Description
   --  and cairo units. The default value is 96, meaning that a 10 point font
   --  will be 13 units high. (10 * 96. / 72. = 13.3).
   --  Since: gtk+ 2.10
   --  "dpi": the resolution in "dots per inch". (Physical inches aren't
   --  actually involved; the terminology is conventional.)

   function Get_Rgba_Visual
      (Screen : not null access Gdk_Screen_Record)
       return Gdk.Visual.Gdk_Visual;
   --  Gets a visual to use for creating windows with an alpha channel. The
   --  windowing system on which GTK+ is running may not support this
   --  capability, in which case null will be returned. Even if a non-null
   --  value is returned, its possible that the window's alpha channel won't be
   --  honored when displaying the window on the screen: in particular, for X
   --  an appropriate windowing manager and compositing manager must be running
   --  to provide appropriate display.
   --  This functionality is not implemented in the Windows backend.
   --  For setting an overall opacity for a top-level window, see
   --  Gdk.Window.Set_Opacity.
   --  Since: gtk+ 2.8

   function Get_Root_Window
      (Screen : not null access Gdk_Screen_Record) return Gdk.Gdk_Window;
   --  Gets the root window of Screen.
   --  Since: gtk+ 2.2

   function Get_System_Visual
      (Screen : not null access Gdk_Screen_Record)
       return Gdk.Visual.Gdk_Visual;
   --  Get the system's default visual for Screen. This is the visual for the
   --  root window of the display. The return value should not be freed.
   --  Since: gtk+ 2.2

   function Get_Width
      (Screen : not null access Gdk_Screen_Record) return Gint;
   --  Gets the width of Screen in pixels
   --  Since: gtk+ 2.2

   function Get_Width_Mm
      (Screen : not null access Gdk_Screen_Record) return Gint;
   --  Gets the width of Screen in millimeters. Note that on some X servers
   --  this value will not be correct.
   --  Since: gtk+ 2.2

   function Is_Composited
      (Screen : not null access Gdk_Screen_Record) return Boolean;
   --  Returns whether windows with an RGBA visual can reasonably be expected
   --  to have their alpha channel drawn correctly on the screen.
   --  On X11 this function returns whether a compositing manager is
   --  compositing Screen.
   --  Since: gtk+ 2.10

   function Make_Display_Name
      (Screen : not null access Gdk_Screen_Record) return UTF8_String;
   --  Determines the name to pass to Gdk.Display.Open to get a
   --  Gdk.Display.Gdk_Display with this screen as the default screen.
   --  Since: gtk+ 2.2

   ----------------------
   -- GtkAda additions --
   ----------------------

   -------------
   -- Display --
   -------------
   --  These subprograms should really be in gdk-display.ads to match what is
   --  done for gtk+ itself, but that would create dependency circularities.
   --  Ada 2005 has support for these, but we want GtkAda to build with Ada95
   --  compilers.

   function Get_Screen
     (Display    : access Gdk.Display.Gdk_Display_Record'Class;
      Screen_Num : Glib.Gint)
   return Gdk_Screen;
   --  Returns a screen object for one of the screens of the display.

   function Get_Default_Screen
     (Display : access Gdk.Display.Gdk_Display_Record'Class) return Gdk_Screen;
   --  Get the default Gdk_Screen for display.

   procedure Get_Pointer
     (Display : access Gdk.Display.Gdk_Display_Record'Class;
      Screen  : out Gdk_Screen;
      X       : out Glib.Gint;
      Y       : out Glib.Gint;
      Mask    : out Gdk.Types.Gdk_Modifier_Type);
   --  Gets the current location of the pointer and the current modifier
   --  mask for a given display.
   --  (X, Y) are coordinates relative to the root window on the display

   procedure Warp_Pointer
     (Display : access Gdk.Display.Gdk_Display_Record'Class;
      Screen  : access Gdk_Screen_Record;
      X       : Glib.Gint;
      Y       : Glib.Gint);
   --  Warps the pointer of display to the point x,y on the screen screen,
   --  unless the pointer is confined to a window by a grab, in which case it
   --  will be moved as far as allowed by the grab. Warping the pointer creates
   --  events as if the user had moved the mouse instantaneously to the
   --  destination.
   --
   --  Note that the pointer should normally be under the control of the user.
   --  This function was added to cover some rare use cases like keyboard
   --  navigation support for the color picker in the GtkColorSelectionDialog.

   ---------------
   -- Functions --
   ---------------

   function Get_Default return Gdk_Screen;
   --  Gets the default screen for the default display. (See
   --  gdk_display_get_default ()).
   --  Since: gtk+ 2.2

   function Height return Gint;
   --  Returns the height of the default screen in pixels.

   function Height_Mm return Gint;
   --  Returns the height of the default screen in millimeters. Note that on
   --  many X servers this value will not be correct.

   function Width return Gint;
   --  Returns the width of the default screen in pixels.

   function Width_Mm return Gint;
   --  Returns the width of the default screen in millimeters. Note that on
   --  many X servers this value will not be correct.

   ----------------
   -- Properties --
   ----------------
   --  The following properties are defined for this widget. See
   --  Glib.Properties for more information on properties)

   Font_Options_Property : constant Glib.Properties.Property_String :=
   Glib.Properties.Build ("font-options");--  Unknown type: gpointer

   Resolution_Property : constant Glib.Properties.Property_Double;
   --  Type: Gdouble

   -------------
   -- Signals --
   -------------

   Signal_Composited_Changed : constant Glib.Signal_Name := "composited-changed";
   --  The ::composited-changed signal is emitted when the composited status
   --  of the screen changes
   --    procedure Handler (Self : access Gdk_Screen_Record'Class)

   Signal_Monitors_Changed : constant Glib.Signal_Name := "monitors-changed";
   --  The ::monitors-changed signal is emitted when the number, size or
   --  position of the monitors attached to the screen change.
   --
   --  Only for X11 and OS X for now. A future implementation for Win32 may be
   --  a possibility.
   --    procedure Handler (Self : access Gdk_Screen_Record'Class)

   Signal_Size_Changed : constant Glib.Signal_Name := "size-changed";
   --  The ::size-changed signal is emitted when the pixel width or height of
   --  a screen changes.
   --    procedure Handler (Self : access Gdk_Screen_Record'Class)

private
   Resolution_Property : constant Glib.Properties.Property_Double :=
     Glib.Properties.Build ("resolution");
end Gdk.Screen;