/usr/share/ada/adainclude/gtkada/gtk-text.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 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 | -----------------------------------------------------------------------
-- GtkAda - Ada95 binding for Gtk+/Gnome --
-- --
-- Copyright (C) 1998-2000 E. Briot, J. Brobecker and A. Charlet --
-- Copyright (C) 2000-2007 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 displays any given text that can be manipulated by
-- both the user and the programmer.
-- The text can optionally be interactively modified by the user.
-- Different colors and fonts can be used for any given part of the
-- text. The background can have any color, or even be a pixmap.
-- </description>
-- <c_version>2.8.17</c_version>
-- <group>Obsolescent widgets</group>
with Glib.Properties;
with Gdk.Color;
with Gdk.Font;
with Gtk.Adjustment;
pragma Warnings (Off);
with Gtk.Old_Editable;
pragma Warnings (On);
with Gdk.Window;
package Gtk.Text is
pragma Obsolescent;
type Gtk_Text_Record is new
Gtk.Old_Editable.Gtk_Old_Editable_Record with private;
type Gtk_Text is access all Gtk_Text_Record'Class;
procedure Gtk_New
(Text : out Gtk_Text;
Hadj : in Adjustment.Gtk_Adjustment := null;
Vadj : in Adjustment.Gtk_Adjustment := null);
-- Create a new text widget with the given adjustments.
-- If either or both scrollbars is not provided, the text widget will
-- create its own.
-- You need to insert the Gtk_Text in a Gtk_Scrolled_Window to make
-- the scrollbars visible. Not also that this widget does not currently
-- support horizontal scrollbars.
procedure Initialize
(Text : access Gtk_Text_Record'Class;
Hadj : in Adjustment.Gtk_Adjustment := null;
Vadj : in Adjustment.Gtk_Adjustment := null);
-- Internal initialization function.
-- See the section "Creating your own widgets" in the documentation.
function Get_Type return Gtk.Gtk_Type;
-- Return the internal value associated with a Gtk_Text.
function Get_Text_Area (Text : access Gtk_Text_Record)
return Gdk.Window.Gdk_Window;
-- Return the specific window into which the text is displayed.
-- Note that a Gtk_Text is in fact a complex widget, which includes borders
-- on the sides. Thus, whenever you want to convert the mouse coordinates
-- to a position in the text, you should use the Gdk.Window.Get_Pointer
-- function, passing it this text area as the origin window, rather than
-- directly Get_Window (Text).
-- Note that null will be returned while Text hasn't been realized.
function Backward_Delete (Text : access Gtk_Text_Record;
Nchars : in Guint)
return Boolean;
-- Backward delete Nchars characters from the current cursor position.
-- There must be at least Nchars characters to delete before the
-- pointer, or the operation will not be performed.
-- Return True if the operation was successful, False otherwise.
function Forward_Delete (Text : access Gtk_Text_Record;
Nchars : in Guint)
return Boolean;
-- Forward delete Nchars characters from the current point position.
-- There must be at least Nchars characters to delete after the
-- pointer, or the operation will not be performed.
-- Return True if the operation was successful, False otherwise.
procedure Freeze (Text : access Gtk_Text_Record);
-- Freeze the Gtk_Text widget.
-- In other words, stop any redrawing of the widget until the Thaw
-- operation is called. This operation is useful when
-- a large number of changes need to be made within the widget.
-- Freezing it during the updates will avoid some flicker seen by
-- the user.
-- Note also that an internal counter is incremented. The updates will
-- be performed only when the same numbers of calls to Thaw has been
-- performed.
--
-- Note that you can not call Set_Position while the widget is frozen.
-- This will create a Storage_Error otherwise.
procedure Thaw (Text : access Gtk_Text_Record);
-- Cancel the previous call to Freeze.
-- Allow the widget to be redrawn again, when Thaw has been called as
-- many times as Freeze.
-- <doc_ignore>
function Get_Gap_Position (Text : access Gtk_Text_Record) return Guint;
function Get_Gap_Size (Text : access Gtk_Text_Record) return Guint;
function Get_Text_End (Text : access Gtk_Text_Record) return Guint;
-- Those 2 functions should probably be deleted.
-- </doc_ignore>
function Get_Hadj (Text : access Gtk_Text_Record)
return Gtk.Adjustment.Gtk_Adjustment;
-- Return the horizontal scrollbar associated with Text.
function Get_Vadj (Text : access Gtk_Text_Record)
return Gtk.Adjustment.Gtk_Adjustment;
-- Return the vertical scrollbar associated to the given text widget.
function Get_Length (Text : access Gtk_Text_Record) return Guint;
-- Return the total length of the text contained within the text widget.
function Get_Point (Text : access Gtk_Text_Record) return Guint;
-- Get the current position of the insertion point (cursor).
-- Return the number of characters from the upper left corner of the
-- widget.
procedure Set_Point (Text : access Gtk_Text_Record;
Index : in Guint);
-- Set the insertion point position.
-- This does not modify the position of the visible cursor (see
-- Gtk.Editable.Set_Position instead).
-- <doc_ignore>
function Get_Text (Text : access Gtk_Text_Record) return UTF8_String;
-- Should probably be deleted (does not work, fails to capture
-- user changes). Use Gtk.Editable.Get_Chars instead.
-- </doc_ignore>
procedure Insert
(Text : access Gtk_Text_Record;
Font : in Gdk.Font.Gdk_Font := Gdk.Font.Null_Font;
Fore : in Gdk.Color.Gdk_Color := Gdk.Color.Null_Color;
Back : in Gdk.Color.Gdk_Color := Gdk.Color.Null_Color;
Chars : in UTF8_String := "";
Length : in Gint := -1);
-- Insert the given string (Chars) inside the text of the text widget.
-- Use the specified Font, foreground (Fore) and background
-- (Back) colors. Only the first "Length" characters are inserted,
-- unless Length is set to -1, in which case the complete string is
-- inserted.
-- Note that the colors must be allocated first, and the font loaded.
-- If the default parameters are passed for font and colors, the text
-- widget will use the ones defined in the style for Text (see Gtk.Style
-- for more information about styles).
procedure Set_Adjustments (Text : access Gtk_Text_Record;
Hadj : Gtk.Adjustment.Gtk_Adjustment;
Vadj : Gtk.Adjustment.Gtk_Adjustment);
-- Set the horizontal and vertical adjustments associated with Text.
procedure Set_Editable (Text : access Gtk_Text_Record;
Editable : in Boolean := True);
-- Toggle the editable state of the given text widget.
-- This determines whether the user can edit the text or not. Note that
-- the programmer can still perform any update.
procedure Set_Line_Wrap (Text : access Gtk_Text_Record;
Line_Wrap : in Boolean := True);
-- Set the Line_Wrap state of the given text widget.
-- If set to True, the line is broken when it reaches the extent of the
-- widget viewing area and the rest is displayed on the next line. If set
-- to false, the line continues regardless of the size of current
-- viewing area.
procedure Set_Word_Wrap (Text : access Gtk_Text_Record;
Word_Wrap : in Boolean := True);
-- Set the Word_Wrap state of the given text widget.
-- If set to True, words are wrapped down to the next line if they can't
-- be completed on the current line.
-------------
-- Signals --
-------------
-- <signals>
-- The following new signals are defined for this widget:
--
-- </signals>
Signal_Set_Scroll_Adjustments : constant Glib.Signal_Name :=
"set_scroll_adjustments";
----------------
-- Properties --
----------------
-- <properties>
-- The following properties are defined for this widget. See
-- Glib.Properties for more information on properties.
--
-- Name: Hadjustment_Property
-- Type: Object
-- Descr: Horizontal adjustment for the text widget
--
-- Name: Line_Wrap_Property
-- Type: Boolean
-- Descr: Whether lines are wrapped at widget edges
--
-- Name: Vadjustment_Property
-- Type: Object
-- Descr: Vertical adjustment for the text widget
--
-- Name: Word_Wrap_Property
-- Type: Boolean
-- Descr: Whether words are wrapped at widget edges
--
-- </properties>
Line_Wrap_Property : constant Glib.Properties.Property_Boolean;
Vadjustment_Property : constant Glib.Properties.Property_Object;
Word_Wrap_Property : constant Glib.Properties.Property_Boolean;
private
type Gtk_Text_Record is new Gtk.Old_Editable.Gtk_Old_Editable_Record
with null record;
Hadjustment_Property : constant Glib.Properties.Property_Object :=
Glib.Properties.Build ("hadjustment");
Line_Wrap_Property : constant Glib.Properties.Property_Boolean :=
Glib.Properties.Build ("line-wrap");
Vadjustment_Property : constant Glib.Properties.Property_Object :=
Glib.Properties.Build ("vadjustment");
Word_Wrap_Property : constant Glib.Properties.Property_Boolean :=
Glib.Properties.Build ("word-wrap");
pragma Import (C, Get_Type, "gtk_text_get_type");
end Gtk.Text;
|