/usr/share/ada/adainclude/gtkada/gtk-fixed.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 | ------------------------------------------------------------------------------
-- --
-- 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.Fixed.Gtk_Fixed widget is a container which can place child
-- widgets at fixed positions and with fixed sizes, given in pixels.
-- Gtk.Fixed.Gtk_Fixed performs no automatic layout management.
--
-- For most applications, you should not use this container! It keeps you
-- from having to learn about the other GTK+ containers, but it results in
-- broken applications. With Gtk.Fixed.Gtk_Fixed, the following things will
-- result in truncated text, overlapping widgets, and other display bugs:
--
-- - Themes, which may change widget sizes.
--
-- - Fonts other than the one you used to write the app will of course change
-- the size of widgets containing text; keep in mind that users may use a
-- larger font because of difficulty reading the default, or they may be using
-- Windows or the framebuffer port of GTK+, where different fonts are
-- available.
--
-- - Translation of text into other languages changes its size. Also, display
-- of non-English text will use a different font in many cases.
--
-- In addition, the fixed widget can't properly be mirrored in right-to-left
-- languages such as Hebrew and Arabic. i.e. normally GTK+ will flip the
-- interface to put labels to the right of the thing they label, but it can't
-- do that with Gtk.Fixed.Gtk_Fixed. So your application will not be usable in
-- right-to-left languages.
--
-- Finally, fixed positioning makes it kind of annoying to add/remove GUI
-- elements, since you have to reposition all the other elements. This is a
-- long-term maintenance problem for your application.
--
-- If you know none of these things are an issue for your application, and
-- prefer the simplicity of Gtk.Fixed.Gtk_Fixed, by all means use the widget.
-- But you should be aware of the tradeoffs.
--
-- </description>
-- <screenshot>gtk-fixed</screenshot>
-- <group>Layout containers</group>
-- <testgtk>create_fixed.adb</testgtk>
pragma Ada_2005;
pragma Warnings (Off, "*is already use-visible*");
with Glib; use Glib;
with Glib.Types; use Glib.Types;
with Gtk.Buildable; use Gtk.Buildable;
with Gtk.Container; use Gtk.Container;
with Gtk.Widget; use Gtk.Widget;
package Gtk.Fixed is
type Gtk_Fixed_Record is new Gtk_Container_Record with null record;
type Gtk_Fixed is access all Gtk_Fixed_Record'Class;
------------------
-- Constructors --
------------------
procedure Gtk_New (Fixed : out Gtk_Fixed);
procedure Initialize (Fixed : not null access Gtk_Fixed_Record'Class);
-- Creates a new Gtk.Fixed.Gtk_Fixed.
-- Initialize does nothing if the object was already created with another
-- call to Initialize* or G_New.
function Gtk_Fixed_New return Gtk_Fixed;
-- Creates a new Gtk.Fixed.Gtk_Fixed.
function Get_Type return Glib.GType;
pragma Import (C, Get_Type, "gtk_fixed_get_type");
-------------
-- Methods --
-------------
procedure Move
(Fixed : not null access Gtk_Fixed_Record;
Widget : not null access Gtk.Widget.Gtk_Widget_Record'Class;
X : Gint;
Y : Gint);
-- Move a child of a GtkFixed container to the given position. X indicates
-- the horizontal position to place the widget at. Y is the vertical
-- position to place the widget at.
-- "widget": the child widget.
-- "x": the horizontal position to move the widget to.
-- "y": the vertical position to move the widget to.
procedure Put
(Fixed : not null access Gtk_Fixed_Record;
Widget : not null access Gtk.Widget.Gtk_Widget_Record'Class;
X : Gint;
Y : Gint);
-- Add Widget to a Fixed container at the given position. X indicates the
-- horizontal position to place the widget at. Y is the vertical position
-- to place the widget at.
-- "widget": the widget to add.
-- "x": the horizontal position to place the widget at.
-- "y": the vertical position to place the widget at.
----------------
-- Interfaces --
----------------
-- This class implements several interfaces. See Glib.Types
--
-- - "Buildable"
package Implements_Gtk_Buildable is new Glib.Types.Implements
(Gtk.Buildable.Gtk_Buildable, Gtk_Fixed_Record, Gtk_Fixed);
function "+"
(Widget : access Gtk_Fixed_Record'Class)
return Gtk.Buildable.Gtk_Buildable
renames Implements_Gtk_Buildable.To_Interface;
function "-"
(Interf : Gtk.Buildable.Gtk_Buildable)
return Gtk_Fixed
renames Implements_Gtk_Buildable.To_Object;
end Gtk.Fixed;
|