/usr/share/ada/adainclude/gtkada/gtk-invisible.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 | ------------------------------------------------------------------------------
-- --
-- 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>
-- The Gtk.Invisible.Gtk_Invisible widget is used internally in GTK+, and is
-- probably not very useful for application developers.
--
-- It is used for reliable pointer grabs and selection handling in the code
-- for drag-and-drop.
--
-- </description>
pragma Ada_2005;
pragma Warnings (Off, "*is already use-visible*");
with Gdk.Screen; use Gdk.Screen;
with Glib; use Glib;
with Glib.Properties; use Glib.Properties;
with Glib.Types; use Glib.Types;
with Gtk.Buildable; use Gtk.Buildable;
with Gtk.Widget; use Gtk.Widget;
package Gtk.Invisible is
type Gtk_Invisible_Record is new Gtk_Widget_Record with null record;
type Gtk_Invisible is access all Gtk_Invisible_Record'Class;
------------------
-- Constructors --
------------------
procedure Gtk_New (Self : out Gtk_Invisible);
procedure Initialize (Self : not null access Gtk_Invisible_Record'Class);
-- Creates a new Gtk.Invisible.Gtk_Invisible.
-- Initialize does nothing if the object was already created with another
-- call to Initialize* or G_New.
function Gtk_Invisible_New return Gtk_Invisible;
-- Creates a new Gtk.Invisible.Gtk_Invisible.
procedure Gtk_New_For_Screen
(Self : out Gtk_Invisible;
Screen : not null access Gdk.Screen.Gdk_Screen_Record'Class);
procedure Initialize_For_Screen
(Self : not null access Gtk_Invisible_Record'Class;
Screen : not null access Gdk.Screen.Gdk_Screen_Record'Class);
-- Creates a new Gtk.Invisible.Gtk_Invisible object for a specified screen
-- Since: gtk+ 2.2
-- Initialize_For_Screen does nothing if the object was already created
-- with another call to Initialize* or G_New.
-- "screen": a Gdk.Screen.Gdk_Screen which identifies on which the new
-- Gtk.Invisible.Gtk_Invisible will be created.
function Gtk_Invisible_New_For_Screen
(Screen : not null access Gdk.Screen.Gdk_Screen_Record'Class)
return Gtk_Invisible;
-- Creates a new Gtk.Invisible.Gtk_Invisible object for a specified screen
-- Since: gtk+ 2.2
-- "screen": a Gdk.Screen.Gdk_Screen which identifies on which the new
-- Gtk.Invisible.Gtk_Invisible will be created.
function Get_Type return Glib.GType;
pragma Import (C, Get_Type, "gtk_invisible_get_type");
-------------
-- Methods --
-------------
function Get_Screen
(Self : not null access Gtk_Invisible_Record)
return Gdk.Screen.Gdk_Screen;
-- Returns the Gdk.Screen.Gdk_Screen object associated with Invisible
-- Since: gtk+ 2.2
procedure Set_Screen
(Self : not null access Gtk_Invisible_Record;
Screen : not null access Gdk.Screen.Gdk_Screen_Record'Class);
-- Sets the Gdk.Screen.Gdk_Screen where the Gtk.Invisible.Gtk_Invisible
-- object will be displayed.
-- Since: gtk+ 2.2
-- "screen": a Gdk.Screen.Gdk_Screen.
----------------
-- Properties --
----------------
-- The following properties are defined for this widget. See
-- Glib.Properties for more information on properties)
Screen_Property : constant Glib.Properties.Property_Object;
-- Type: Gdk.Screen.Gdk_Screen
----------------
-- Interfaces --
----------------
-- This class implements several interfaces. See Glib.Types
--
-- - "Buildable"
package Implements_Gtk_Buildable is new Glib.Types.Implements
(Gtk.Buildable.Gtk_Buildable, Gtk_Invisible_Record, Gtk_Invisible);
function "+"
(Widget : access Gtk_Invisible_Record'Class)
return Gtk.Buildable.Gtk_Buildable
renames Implements_Gtk_Buildable.To_Interface;
function "-"
(Interf : Gtk.Buildable.Gtk_Buildable)
return Gtk_Invisible
renames Implements_Gtk_Buildable.To_Object;
private
Screen_Property : constant Glib.Properties.Property_Object :=
Glib.Properties.Build ("screen");
end Gtk.Invisible;
|