This file is indexed.

/usr/share/ada/adainclude/gtkada/gtk-invisible.ads is in libgtkada2.24.4-dev 2.24.4dfsg-1.

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
-----------------------------------------------------------------------
--               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 widget is used internally by gtk+, and is likely not very useful to
--  end-users.
--  This is a widget that has no visual rendering. It is used for reliable
--  pointer grabs and drag-and-drop
--  </description>
--  <c_version>2.8.17</c_version>
--  <group>Windows</group>

with Glib.Properties;
with Gtk.Widget;

package Gtk.Invisible is

   type Gtk_Invisible_Record is new Gtk.Widget.Gtk_Widget_Record with private;
   type Gtk_Invisible is access all Gtk_Invisible_Record'Class;

   procedure Gtk_New (Widget : out Gtk_Invisible);

   procedure Initialize (Widget : access Gtk_Invisible_Record'Class);

   function Get_Type return Gtk.Gtk_Type;

   ----------------
   -- Properties --
   ----------------

   --  <properties>
   --  The following properties are defined for this widget. See
   --  Glib.Properties for more information on properties.
   --
   --  Name:  Screen_Property
   --  Type:  Object
   --  Descr: The screen where this window will be displayed
   --
   --  </properties>

   Screen_Property : constant Glib.Properties.Property_Object;

private
   type Gtk_Invisible_Record is new
     Gtk.Widget.Gtk_Widget_Record with null record;

   Screen_Property : constant Glib.Properties.Property_Object :=
     Glib.Properties.Build ("screen");

   pragma Import (C, Get_Type, "gtk_invisible_get_type");
end Gtk.Invisible;

--  No binding: gtk_invisible_get_screen
--  No binding: gtk_invisible_new_for_screen
--  No binding: gtk_invisible_set_screen