This file is indexed.

/usr/share/ada/adainclude/gtkada/gtk-notebook.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
404
405
406
407
408
409
410
411
412
413
414
415
416
417
418
419
420
421
422
423
424
425
426
427
428
429
430
431
432
433
434
435
436
437
438
439
440
441
442
443
444
445
446
447
448
449
450
451
452
453
454
455
456
457
458
459
460
461
462
463
464
465
466
467
468
469
470
471
472
473
474
475
476
477
478
479
480
481
482
483
484
485
486
487
488
489
490
491
492
493
494
495
496
497
498
499
500
501
502
503
504
505
506
507
508
509
510
511
512
513
514
515
516
517
518
519
520
521
522
523
524
525
526
527
528
529
530
531
532
533
534
535
536
537
538
539
540
541
542
543
544
545
546
547
548
549
550
551
552
553
554
555
556
557
558
559
560
561
562
563
564
565
566
567
568
569
570
571
572
573
574
575
576
577
578
579
580
581
582
583
584
585
586
587
588
589
590
591
592
593
594
595
596
597
598
599
600
601
602
603
604
605
606
607
608
609
610
611
612
613
614
615
616
617
618
619
620
621
622
623
624
625
626
627
628
629
630
631
632
633
634
635
636
637
638
639
640
641
642
643
644
645
646
647
648
649
650
651
652
653
654
655
656
657
658
659
660
661
662
663
664
665
666
667
668
669
670
671
672
673
674
675
676
677
678
679
680
681
682
683
684
685
686
687
688
689
690
691
692
693
694
695
696
697
698
699
700
701
702
703
704
705
706
707
708
709
710
711
712
713
714
715
716
717
718
719
720
721
722
723
724
725
726
727
728
729
730
731
732
733
734
735
736
737
738
739
740
741
742
743
744
745
746
747
748
749
750
751
752
753
754
755
756
757
758
759
760
761
762
------------------------------------------------------------------------------
--                                                                          --
--      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.Notebook.Gtk_Notebook widget is a Gtk.Container.Gtk_Container
--  whose children are pages that can be switched between using tab labels
--  along one edge.
--
--  There are many configuration options for GtkNotebook. Among other things,
--  you can choose on which edge the tabs appear (see
--  Gtk.Notebook.Set_Tab_Pos), whether, if there are too many tabs to fit the
--  notebook should be made bigger or scrolling arrows added (see
--  Gtk.Notebook.Set_Scrollable), and whether there will be a popup menu
--  allowing the users to switch pages. (see Gtk.Notebook.Popup_Enable,
--  Gtk.Notebook.Popup_Disable)
--
--  # GtkNotebook as GtkBuildable
--
--  The GtkNotebook implementation of the Gtk.Buildable.Gtk_Buildable
--  interface supports placing children into tabs by specifying "tab" as the
--  "type" attribute of a <child> element. Note that the content of the tab
--  must be created before the tab can be filled. A tab child can be specified
--  without specifying a <child> type attribute.
--
--  To add a child widget in the notebooks action area, specify "action-start"
--  or "action-end" as the "type" attribute of the <child> element.
--
--  An example of a UI definition fragment with GtkNotebook: |[ <object
--  class="GtkNotebook"> <child> <object class="GtkLabel"
--  id="notebook-content"> <property name="label">Content</property> </object>
--  </child> <child type="tab"> <object class="GtkLabel" id="notebook-tab">
--  <property name="label">Tab</property> </object> </child> </object> ]|
--
--  </description>
--  <screenshot>gtk-notebook</screenshot>
--  <group>Layout containers</group>
--  <testgtk>create_notebook.adb</testgtk>
pragma Ada_2005;

pragma Warnings (Off, "*is already use-visible*");
with Glib;                    use Glib;
with Glib.Generic_Properties; use Glib.Generic_Properties;
with Glib.Object;             use Glib.Object;
with Glib.Properties;         use Glib.Properties;
with Glib.Types;              use Glib.Types;
with Gtk.Buildable;           use Gtk.Buildable;
with Gtk.Container;           use Gtk.Container;
with Gtk.Enums;               use Gtk.Enums;
with Gtk.Widget;              use Gtk.Widget;

package Gtk.Notebook is

   type Gtk_Notebook_Record is new Gtk_Container_Record with null record;
   type Gtk_Notebook is access all Gtk_Notebook_Record'Class;

   type Gtk_Notebook_Tab is (
      Notebook_Tab_First,
      Notebook_Tab_Last);
   pragma Convention (C, Gtk_Notebook_Tab);

   ----------------------------
   -- Enumeration Properties --
   ----------------------------

   package Gtk_Notebook_Tab_Properties is
      new Generic_Internal_Discrete_Property (Gtk_Notebook_Tab);
   type Property_Gtk_Notebook_Tab is new Gtk_Notebook_Tab_Properties.Property;

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

   procedure Gtk_New (Notebook : out Gtk_Notebook);
   procedure Initialize
      (Notebook : not null access Gtk_Notebook_Record'Class);
   --  Creates a new Gtk.Notebook.Gtk_Notebook widget with no pages.
   --  Initialize does nothing if the object was already created with another
   --  call to Initialize* or G_New.

   function Gtk_Notebook_New return Gtk_Notebook;
   --  Creates a new Gtk.Notebook.Gtk_Notebook widget with no pages.

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

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

   function Append_Page
      (Notebook  : not null access Gtk_Notebook_Record;
       Child     : not null access Gtk.Widget.Gtk_Widget_Record'Class;
       Tab_Label : access Gtk.Widget.Gtk_Widget_Record'Class) return Gint;
   --  Appends a page to Notebook.
   --  "child": the Gtk.Widget.Gtk_Widget to use as the contents of the page
   --  "tab_label": the Gtk.Widget.Gtk_Widget to be used as the label for the
   --  page, or null to use the default label, "page N"

   procedure Append_Page_Menu
      (Notebook   : not null access Gtk_Notebook_Record;
       Child      : not null access Gtk.Widget.Gtk_Widget_Record'Class;
       Tab_Label  : access Gtk.Widget.Gtk_Widget_Record'Class;
       Menu_Label : access Gtk.Widget.Gtk_Widget_Record'Class);
   --  Appends a page to Notebook, specifying the widget to use as the label
   --  in the popup menu.
   --  "child": the Gtk.Widget.Gtk_Widget to use as the contents of the page
   --  "tab_label": the Gtk.Widget.Gtk_Widget to be used as the label for the
   --  page, or null to use the default label, "page N"
   --  "menu_label": the widget to use as a label for the page-switch menu, if
   --  that is enabled. If null, and Tab_Label is a Gtk.Label.Gtk_Label or
   --  null, then the menu label will be a newly created label with the same
   --  text as Tab_Label; if Tab_Label is not a Gtk.Label.Gtk_Label, Menu_Label
   --  must be specified if the page-switch menu is to be used.

   function Get_Action_Widget
      (Notebook  : not null access Gtk_Notebook_Record;
       Pack_Type : Gtk.Enums.Gtk_Pack_Type) return Gtk.Widget.Gtk_Widget;
   --  Gets one of the action widgets. See Gtk.Notebook.Set_Action_Widget.
   --  Since: gtk+ 2.20
   --  "pack_type": pack type of the action widget to receive

   procedure Set_Action_Widget
      (Notebook  : not null access Gtk_Notebook_Record;
       Widget    : not null access Gtk.Widget.Gtk_Widget_Record'Class;
       Pack_Type : Gtk.Enums.Gtk_Pack_Type);
   --  Sets Widget as one of the action widgets. Depending on the pack type
   --  the widget will be placed before or after the tabs. You can use a
   --  Gtk.Box.Gtk_Box if you need to pack more than one widget on the same
   --  side.
   --  Note that action widgets are "internal" children of the notebook and
   --  thus not included in the list returned from Gtk.Container.Foreach.
   --  Since: gtk+ 2.20
   --  "widget": a Gtk.Widget.Gtk_Widget
   --  "pack_type": pack type of the action widget

   function Get_Current_Page
      (Notebook : not null access Gtk_Notebook_Record) return Gint;
   --  Returns the page number of the current page.

   procedure Set_Current_Page
      (Notebook : not null access Gtk_Notebook_Record;
       Page_Num : Gint := -1);
   --  Switches to the page number Page_Num.
   --  Note that due to historical reasons, GtkNotebook refuses to switch to a
   --  page unless the child widget is visible. Therefore, it is recommended to
   --  show child widgets before adding them to a notebook.
   --  "page_num": index of the page to switch to, starting from 0. If
   --  negative, the last page will be used. If greater than the number of
   --  pages in the notebook, nothing will be done.

   function Get_Group_Name
      (Notebook : not null access Gtk_Notebook_Record) return UTF8_String;
   --  Gets the current group name for Notebook.
   --  Since: gtk+ 2.24

   procedure Set_Group_Name
      (Notebook   : not null access Gtk_Notebook_Record;
       Group_Name : UTF8_String := "");
   --  Sets a group name for Notebook.
   --  Notebooks with the same name will be able to exchange tabs via drag and
   --  drop. A notebook with a null group name will not be able to exchange
   --  tabs with any other notebook.
   --  Since: gtk+ 2.24
   --  "group_name": the name of the notebook group, or null to unset it

   function Get_Menu_Label
      (Notebook : not null access Gtk_Notebook_Record;
       Child    : not null access Gtk.Widget.Gtk_Widget_Record'Class)
       return Gtk.Widget.Gtk_Widget;
   --  Retrieves the menu label widget of the page containing Child.
   --  "child": a widget contained in a page of Notebook

   procedure Set_Menu_Label
      (Notebook   : not null access Gtk_Notebook_Record;
       Child      : not null access Gtk.Widget.Gtk_Widget_Record'Class;
       Menu_Label : access Gtk.Widget.Gtk_Widget_Record'Class);
   --  Changes the menu label for the page containing Child.
   --  "child": the child widget
   --  "menu_label": the menu label, or null for default

   function Get_Menu_Label_Text
      (Notebook : not null access Gtk_Notebook_Record;
       Child    : not null access Gtk.Widget.Gtk_Widget_Record'Class)
       return UTF8_String;
   --  Retrieves the text of the menu label for the page containing Child.
   --  "child": the child widget of a page of the notebook.

   procedure Set_Menu_Label_Text
      (Notebook  : not null access Gtk_Notebook_Record;
       Child     : not null access Gtk.Widget.Gtk_Widget_Record'Class;
       Menu_Text : UTF8_String);
   --  Creates a new label and sets it as the menu label of Child.
   --  "child": the child widget
   --  "menu_text": the label text

   function Get_N_Pages
      (Notebook : not null access Gtk_Notebook_Record) return Gint;
   --  Gets the number of pages in a notebook.
   --  Since: gtk+ 2.2

   function Get_Nth_Page
      (Notebook : not null access Gtk_Notebook_Record;
       Page_Num : Gint) return Gtk.Widget.Gtk_Widget;
   --  Returns the child widget contained in page number Page_Num.
   --  "page_num": the index of a page in the notebook, or -1 to get the last
   --  page

   function Get_Scrollable
      (Notebook : not null access Gtk_Notebook_Record) return Boolean;
   --  Returns whether the tab label area has arrows for scrolling. See
   --  Gtk.Notebook.Set_Scrollable.

   procedure Set_Scrollable
      (Notebook   : not null access Gtk_Notebook_Record;
       Scrollable : Boolean := True);
   --  Sets whether the tab label area will have arrows for scrolling if there
   --  are too many tabs to fit in the area.
   --  "scrollable": True if scroll arrows should be added

   function Get_Show_Border
      (Notebook : not null access Gtk_Notebook_Record) return Boolean;
   --  Returns whether a bevel will be drawn around the notebook pages. See
   --  Gtk.Notebook.Set_Show_Border.

   procedure Set_Show_Border
      (Notebook    : not null access Gtk_Notebook_Record;
       Show_Border : Boolean := True);
   --  Sets whether a bevel will be drawn around the notebook pages. This only
   --  has a visual effect when the tabs are not shown. See
   --  Gtk.Notebook.Set_Show_Tabs.
   --  "show_border": True if a bevel should be drawn around the notebook

   function Get_Show_Tabs
      (Notebook : not null access Gtk_Notebook_Record) return Boolean;
   --  Returns whether the tabs of the notebook are shown. See
   --  Gtk.Notebook.Set_Show_Tabs.

   procedure Set_Show_Tabs
      (Notebook  : not null access Gtk_Notebook_Record;
       Show_Tabs : Boolean := True);
   --  Sets whether to show the tabs for the notebook or not.
   --  "show_tabs": True if the tabs should be shown

   function Get_Tab_Detachable
      (Notebook : not null access Gtk_Notebook_Record;
       Child    : not null access Gtk.Widget.Gtk_Widget_Record'Class)
       return Boolean;
   --  Returns whether the tab contents can be detached from Notebook.
   --  Since: gtk+ 2.10
   --  "child": a child Gtk.Widget.Gtk_Widget

   procedure Set_Tab_Detachable
      (Notebook   : not null access Gtk_Notebook_Record;
       Child      : not null access Gtk.Widget.Gtk_Widget_Record'Class;
       Detachable : Boolean := True);
   --  Sets whether the tab can be detached from Notebook to another notebook
   --  or widget.
   --  Note that 2 notebooks must share a common group identificator (see
   --  Gtk.Notebook.Set_Group_Name) to allow automatic tabs interchange between
   --  them.
   --  If you want a widget to interact with a notebook through DnD (i.e.:
   --  accept dragged tabs from it) it must be set as a drop destination and
   --  accept the target "GTK_NOTEBOOK_TAB". The notebook will fill the
   --  selection with a GtkWidget** pointing to the child widget that
   --  corresponds to the dropped tab. |[<!-- language="C" --> static void
   --  on_drag_data_received (GtkWidget *widget, GdkDragContext *context, gint
   --  x, gint y, GtkSelectionData *data, guint info, guint time, gpointer
   --  user_data) { GtkWidget *notebook; GtkWidget **child; GtkContainer
   --  *container;
   --  notebook = gtk_drag_get_source_widget (context); child = (void*)
   --  gtk_selection_data_get_data (data);
   --  process_widget (*child); container = GTK_CONTAINER (notebook);
   --  gtk_container_remove (container, *child); } ]|
   --  If you want a notebook to accept drags from other widgets, you will
   --  have to set your own DnD code to do it.
   --  Since: gtk+ 2.10
   --  "child": a child Gtk.Widget.Gtk_Widget
   --  "detachable": whether the tab is detachable or not

   function Get_Tab_Hborder
      (Notebook : not null access Gtk_Notebook_Record) return Guint16;
   pragma Obsolescent (Get_Tab_Hborder);
   --  Returns the horizontal width of a tab border.
   --  Since: gtk+ 2.22
   --  Deprecated since 3.4, 1

   function Get_Tab_Label
      (Notebook : not null access Gtk_Notebook_Record;
       Child    : not null access Gtk.Widget.Gtk_Widget_Record'Class)
       return Gtk.Widget.Gtk_Widget;
   --  Returns the tab label widget for the page Child. null is returned if
   --  Child is not in Notebook or if no tab label has specifically been set
   --  for Child.
   --  "child": the page

   procedure Set_Tab_Label
      (Notebook  : not null access Gtk_Notebook_Record;
       Child     : not null access Gtk.Widget.Gtk_Widget_Record'Class;
       Tab_Label : access Gtk.Widget.Gtk_Widget_Record'Class);
   --  Changes the tab label for Child. If null is specified for Tab_Label,
   --  then the page will have the label "page N".
   --  "child": the page
   --  "tab_label": the tab label widget to use, or null for default tab label

   function Get_Tab_Label_Text
      (Notebook : not null access Gtk_Notebook_Record;
       Child    : not null access Gtk.Widget.Gtk_Widget_Record'Class)
       return UTF8_String;
   --  Retrieves the text of the tab label for the page containing Child.
   --  "child": a widget contained in a page of Notebook

   procedure Set_Tab_Label_Text
      (Notebook : not null access Gtk_Notebook_Record;
       Child    : not null access Gtk.Widget.Gtk_Widget_Record'Class;
       Tab_Text : UTF8_String);
   --  Creates a new label and sets it as the tab label for the page
   --  containing Child.
   --  "child": the page
   --  "tab_text": the label text

   function Get_Tab_Pos
      (Notebook : not null access Gtk_Notebook_Record)
       return Gtk.Enums.Gtk_Position_Type;
   --  Gets the edge at which the tabs for switching pages in the notebook are
   --  drawn.

   procedure Set_Tab_Pos
      (Notebook : not null access Gtk_Notebook_Record;
       Pos      : Gtk.Enums.Gtk_Position_Type);
   --  Sets the edge at which the tabs for switching pages in the notebook are
   --  drawn.
   --  "pos": the edge to draw the tabs at

   function Get_Tab_Reorderable
      (Notebook : not null access Gtk_Notebook_Record;
       Child    : not null access Gtk.Widget.Gtk_Widget_Record'Class)
       return Boolean;
   --  Gets whether the tab can be reordered via drag and drop or not.
   --  Since: gtk+ 2.10
   --  "child": a child Gtk.Widget.Gtk_Widget

   procedure Set_Tab_Reorderable
      (Notebook    : not null access Gtk_Notebook_Record;
       Child       : not null access Gtk.Widget.Gtk_Widget_Record'Class;
       Reorderable : Boolean := True);
   --  Sets whether the notebook tab can be reordered via drag and drop or
   --  not.
   --  Since: gtk+ 2.10
   --  "child": a child Gtk.Widget.Gtk_Widget
   --  "reorderable": whether the tab is reorderable or not

   function Get_Tab_Vborder
      (Notebook : not null access Gtk_Notebook_Record) return Guint16;
   pragma Obsolescent (Get_Tab_Vborder);
   --  Returns the vertical width of a tab border.
   --  Since: gtk+ 2.22
   --  Deprecated since 3.4, 1

   function Insert_Page
      (Notebook  : not null access Gtk_Notebook_Record;
       Child     : not null access Gtk.Widget.Gtk_Widget_Record'Class;
       Tab_Label : access Gtk.Widget.Gtk_Widget_Record'Class;
       Position  : Gint) return Gint;
   --  Insert a page into Notebook at the given position.
   --  "child": the Gtk.Widget.Gtk_Widget to use as the contents of the page
   --  "tab_label": the Gtk.Widget.Gtk_Widget to be used as the label for the
   --  page, or null to use the default label, "page N"
   --  "position": the index (starting at 0) at which to insert the page, or
   --  -1 to append the page after all other pages

   function Insert_Page_Menu
      (Notebook   : not null access Gtk_Notebook_Record;
       Child      : not null access Gtk.Widget.Gtk_Widget_Record'Class;
       Tab_Label  : access Gtk.Widget.Gtk_Widget_Record'Class;
       Menu_Label : access Gtk.Widget.Gtk_Widget_Record'Class;
       Position   : Gint) return Gint;
   --  Insert a page into Notebook at the given position, specifying the
   --  widget to use as the label in the popup menu.
   --  "child": the Gtk.Widget.Gtk_Widget to use as the contents of the page
   --  "tab_label": the Gtk.Widget.Gtk_Widget to be used as the label for the
   --  page, or null to use the default label, "page N"
   --  "menu_label": the widget to use as a label for the page-switch menu, if
   --  that is enabled. If null, and Tab_Label is a Gtk.Label.Gtk_Label or
   --  null, then the menu label will be a newly created label with the same
   --  text as Tab_Label; if Tab_Label is not a Gtk.Label.Gtk_Label, Menu_Label
   --  must be specified if the page-switch menu is to be used.
   --  "position": the index (starting at 0) at which to insert the page, or
   --  -1 to append the page after all other pages.

   procedure Next_Page (Notebook : not null access Gtk_Notebook_Record);
   --  Switches to the next page. Nothing happens if the current page is the
   --  last page.

   function Page_Num
      (Notebook : not null access Gtk_Notebook_Record;
       Child    : not null access Gtk.Widget.Gtk_Widget_Record'Class)
       return Gint;
   --  Finds the index of the page which contains the given child widget.
   --  "child": a Gtk.Widget.Gtk_Widget

   procedure Popup_Disable (Notebook : not null access Gtk_Notebook_Record);
   --  Disables the popup menu.

   procedure Popup_Enable (Notebook : not null access Gtk_Notebook_Record);
   --  Enables the popup menu: if the user clicks with the right mouse button
   --  on the tab labels, a menu with all the pages will be popped up.

   function Prepend_Page
      (Notebook  : not null access Gtk_Notebook_Record;
       Child     : not null access Gtk.Widget.Gtk_Widget_Record'Class;
       Tab_Label : access Gtk.Widget.Gtk_Widget_Record'Class) return Gint;
   --  Prepends a page to Notebook.
   --  "child": the Gtk.Widget.Gtk_Widget to use as the contents of the page
   --  "tab_label": the Gtk.Widget.Gtk_Widget to be used as the label for the
   --  page, or null to use the default label, "page N"

   function Prepend_Page_Menu
      (Notebook   : not null access Gtk_Notebook_Record;
       Child      : not null access Gtk.Widget.Gtk_Widget_Record'Class;
       Tab_Label  : access Gtk.Widget.Gtk_Widget_Record'Class;
       Menu_Label : access Gtk.Widget.Gtk_Widget_Record'Class) return Gint;
   --  Prepends a page to Notebook, specifying the widget to use as the label
   --  in the popup menu.
   --  "child": the Gtk.Widget.Gtk_Widget to use as the contents of the page
   --  "tab_label": the Gtk.Widget.Gtk_Widget to be used as the label for the
   --  page, or null to use the default label, "page N"
   --  "menu_label": the widget to use as a label for the page-switch menu, if
   --  that is enabled. If null, and Tab_Label is a Gtk.Label.Gtk_Label or
   --  null, then the menu label will be a newly created label with the same
   --  text as Tab_Label; if Tab_Label is not a Gtk.Label.Gtk_Label, Menu_Label
   --  must be specified if the page-switch menu is to be used.

   procedure Prev_Page (Notebook : not null access Gtk_Notebook_Record);
   --  Switches to the previous page. Nothing happens if the current page is
   --  the first page.

   procedure Remove_Page
      (Notebook : not null access Gtk_Notebook_Record;
       Page_Num : Gint);
   --  Removes a page from the notebook given its index in the notebook.
   --  "page_num": the index of a notebook page, starting from 0. If -1, the
   --  last page will be removed.

   procedure Reorder_Child
      (Notebook : not null access Gtk_Notebook_Record;
       Child    : not null access Gtk.Widget.Gtk_Widget_Record'Class;
       Position : Gint);
   --  Reorders the page containing Child, so that it appears in position
   --  Position. If Position is greater than or equal to the number of children
   --  in the list or negative, Child will be moved to the end of the list.
   --  "child": the child to move
   --  "position": the new position, or -1 to move to the end

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

   procedure Append_Page
     (Notebook  : access Gtk_Notebook_Record;
      Child     : access Gtk.Widget.Gtk_Widget_Record'Class);
   procedure Append_Page
     (Notebook  : access Gtk_Notebook_Record;
      Child     : access Gtk.Widget.Gtk_Widget_Record'Class;
      Tab_Label : access Gtk.Widget.Gtk_Widget_Record'Class);
   procedure Prepend_Page
     (Notebook  : access Gtk_Notebook_Record;
      Child     : access Gtk.Widget.Gtk_Widget_Record'Class;
      Tab_Label : access Gtk.Widget.Gtk_Widget_Record'Class);
   --  Convenience functions, same as above but discarding the return value.

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

   Enable_Popup_Property : constant Glib.Properties.Property_Boolean;

   Group_Name_Property : constant Glib.Properties.Property_String;
   --  Group name for tab drag and drop.

   Page_Property : constant Glib.Properties.Property_Int;

   Scrollable_Property : constant Glib.Properties.Property_Boolean;

   Show_Border_Property : constant Glib.Properties.Property_Boolean;

   Show_Tabs_Property : constant Glib.Properties.Property_Boolean;

   Tab_Pos_Property : constant Gtk.Enums.Property_Gtk_Position_Type;

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

   type Cb_Gtk_Notebook_Gint_Boolean is not null access function
     (Self   : access Gtk_Notebook_Record'Class;
      Object : Gint) return Boolean;

   type Cb_GObject_Gint_Boolean is not null access function
     (Self   : access Glib.Object.GObject_Record'Class;
      Object : Gint) return Boolean;

   Signal_Change_Current_Page : constant Glib.Signal_Name := "change-current-page";
   procedure On_Change_Current_Page
      (Self  : not null access Gtk_Notebook_Record;
       Call  : Cb_Gtk_Notebook_Gint_Boolean;
       After : Boolean := False);
   procedure On_Change_Current_Page
      (Self  : not null access Gtk_Notebook_Record;
       Call  : Cb_GObject_Gint_Boolean;
       Slot  : not null access Glib.Object.GObject_Record'Class;
       After : Boolean := False);

   type Cb_Gtk_Notebook_Gtk_Widget_Gint_Gint_Gtk_Notebook is not null access function
     (Self : access Gtk_Notebook_Record'Class;
      Page : not null access Gtk.Widget.Gtk_Widget_Record'Class;
      X    : Gint;
      Y    : Gint) return Gtk_Notebook;

   type Cb_GObject_Gtk_Widget_Gint_Gint_Gtk_Notebook is not null access function
     (Self : access Glib.Object.GObject_Record'Class;
      Page : not null access Gtk.Widget.Gtk_Widget_Record'Class;
      X    : Gint;
      Y    : Gint) return Gtk_Notebook;

   Signal_Create_Window : constant Glib.Signal_Name := "create-window";
   procedure On_Create_Window
      (Self  : not null access Gtk_Notebook_Record;
       Call  : Cb_Gtk_Notebook_Gtk_Widget_Gint_Gint_Gtk_Notebook;
       After : Boolean := False);
   procedure On_Create_Window
      (Self  : not null access Gtk_Notebook_Record;
       Call  : Cb_GObject_Gtk_Widget_Gint_Gint_Gtk_Notebook;
       Slot  : not null access Glib.Object.GObject_Record'Class;
       After : Boolean := False);
   --  The ::create-window signal is emitted when a detachable tab is dropped
   --  on the root window.
   --
   --  A handler for this signal can create a window containing a notebook
   --  where the tab will be attached. It is also responsible for
   --  moving/resizing the window and adding the necessary properties to the
   --  notebook (e.g. the Gtk.Notebook.Gtk_Notebook:group-name ).
   -- 
   --  Callback parameters:
   --    --  "page": the tab of Notebook that is being detached
   --    --  "x": the X coordinate where the drop happens
   --    --  "y": the Y coordinate where the drop happens
   --    --  Returns a Gtk.Notebook.Gtk_Notebook that Page should be
   --     added to, or null.

   type Cb_Gtk_Notebook_Gtk_Notebook_Tab_Boolean is not null access function
     (Self   : access Gtk_Notebook_Record'Class;
      Object : Gtk_Notebook_Tab) return Boolean;

   type Cb_GObject_Gtk_Notebook_Tab_Boolean is not null access function
     (Self   : access Glib.Object.GObject_Record'Class;
      Object : Gtk_Notebook_Tab) return Boolean;

   Signal_Focus_Tab : constant Glib.Signal_Name := "focus-tab";
   procedure On_Focus_Tab
      (Self  : not null access Gtk_Notebook_Record;
       Call  : Cb_Gtk_Notebook_Gtk_Notebook_Tab_Boolean;
       After : Boolean := False);
   procedure On_Focus_Tab
      (Self  : not null access Gtk_Notebook_Record;
       Call  : Cb_GObject_Gtk_Notebook_Tab_Boolean;
       Slot  : not null access Glib.Object.GObject_Record'Class;
       After : Boolean := False);

   type Cb_Gtk_Notebook_Gtk_Direction_Type_Void is not null access procedure
     (Self   : access Gtk_Notebook_Record'Class;
      Object : Gtk.Enums.Gtk_Direction_Type);

   type Cb_GObject_Gtk_Direction_Type_Void is not null access procedure
     (Self   : access Glib.Object.GObject_Record'Class;
      Object : Gtk.Enums.Gtk_Direction_Type);

   Signal_Move_Focus_Out : constant Glib.Signal_Name := "move-focus-out";
   procedure On_Move_Focus_Out
      (Self  : not null access Gtk_Notebook_Record;
       Call  : Cb_Gtk_Notebook_Gtk_Direction_Type_Void;
       After : Boolean := False);
   procedure On_Move_Focus_Out
      (Self  : not null access Gtk_Notebook_Record;
       Call  : Cb_GObject_Gtk_Direction_Type_Void;
       Slot  : not null access Glib.Object.GObject_Record'Class;
       After : Boolean := False);

   type Cb_Gtk_Notebook_Gtk_Widget_Guint_Void is not null access procedure
     (Self     : access Gtk_Notebook_Record'Class;
      Child    : not null access Gtk.Widget.Gtk_Widget_Record'Class;
      Page_Num : Guint);

   type Cb_GObject_Gtk_Widget_Guint_Void is not null access procedure
     (Self     : access Glib.Object.GObject_Record'Class;
      Child    : not null access Gtk.Widget.Gtk_Widget_Record'Class;
      Page_Num : Guint);

   Signal_Page_Added : constant Glib.Signal_Name := "page-added";
   procedure On_Page_Added
      (Self  : not null access Gtk_Notebook_Record;
       Call  : Cb_Gtk_Notebook_Gtk_Widget_Guint_Void;
       After : Boolean := False);
   procedure On_Page_Added
      (Self  : not null access Gtk_Notebook_Record;
       Call  : Cb_GObject_Gtk_Widget_Guint_Void;
       Slot  : not null access Glib.Object.GObject_Record'Class;
       After : Boolean := False);
   --  the ::page-added signal is emitted in the notebook right after a page
   --  is added to the notebook.
   -- 
   --  Callback parameters:
   --    --  "child": the child Gtk.Widget.Gtk_Widget affected
   --    --  "page_num": the new page number for Child

   Signal_Page_Removed : constant Glib.Signal_Name := "page-removed";
   procedure On_Page_Removed
      (Self  : not null access Gtk_Notebook_Record;
       Call  : Cb_Gtk_Notebook_Gtk_Widget_Guint_Void;
       After : Boolean := False);
   procedure On_Page_Removed
      (Self  : not null access Gtk_Notebook_Record;
       Call  : Cb_GObject_Gtk_Widget_Guint_Void;
       Slot  : not null access Glib.Object.GObject_Record'Class;
       After : Boolean := False);
   --  the ::page-removed signal is emitted in the notebook right after a page
   --  is removed from the notebook.
   -- 
   --  Callback parameters:
   --    --  "child": the child Gtk.Widget.Gtk_Widget affected
   --    --  "page_num": the Child page number

   Signal_Page_Reordered : constant Glib.Signal_Name := "page-reordered";
   procedure On_Page_Reordered
      (Self  : not null access Gtk_Notebook_Record;
       Call  : Cb_Gtk_Notebook_Gtk_Widget_Guint_Void;
       After : Boolean := False);
   procedure On_Page_Reordered
      (Self  : not null access Gtk_Notebook_Record;
       Call  : Cb_GObject_Gtk_Widget_Guint_Void;
       Slot  : not null access Glib.Object.GObject_Record'Class;
       After : Boolean := False);
   --  the ::page-reordered signal is emitted in the notebook right after a
   --  page has been reordered.
   -- 
   --  Callback parameters:
   --    --  "child": the child Gtk.Widget.Gtk_Widget affected
   --    --  "page_num": the new page number for Child

   type Cb_Gtk_Notebook_Gtk_Direction_Type_Boolean_Boolean is not null access function
     (Self   : access Gtk_Notebook_Record'Class;
      Object : Gtk.Enums.Gtk_Direction_Type;
      P0     : Boolean) return Boolean;

   type Cb_GObject_Gtk_Direction_Type_Boolean_Boolean is not null access function
     (Self   : access Glib.Object.GObject_Record'Class;
      Object : Gtk.Enums.Gtk_Direction_Type;
      P0     : Boolean) return Boolean;

   Signal_Reorder_Tab : constant Glib.Signal_Name := "reorder-tab";
   procedure On_Reorder_Tab
      (Self  : not null access Gtk_Notebook_Record;
       Call  : Cb_Gtk_Notebook_Gtk_Direction_Type_Boolean_Boolean;
       After : Boolean := False);
   procedure On_Reorder_Tab
      (Self  : not null access Gtk_Notebook_Record;
       Call  : Cb_GObject_Gtk_Direction_Type_Boolean_Boolean;
       Slot  : not null access Glib.Object.GObject_Record'Class;
       After : Boolean := False);
   -- 
   --  Callback parameters:

   type Cb_Gtk_Notebook_Boolean_Boolean is not null access function
     (Self   : access Gtk_Notebook_Record'Class;
      Object : Boolean) return Boolean;

   type Cb_GObject_Boolean_Boolean is not null access function
     (Self   : access Glib.Object.GObject_Record'Class;
      Object : Boolean) return Boolean;

   Signal_Select_Page : constant Glib.Signal_Name := "select-page";
   procedure On_Select_Page
      (Self  : not null access Gtk_Notebook_Record;
       Call  : Cb_Gtk_Notebook_Boolean_Boolean;
       After : Boolean := False);
   procedure On_Select_Page
      (Self  : not null access Gtk_Notebook_Record;
       Call  : Cb_GObject_Boolean_Boolean;
       Slot  : not null access Glib.Object.GObject_Record'Class;
       After : Boolean := False);

   Signal_Switch_Page : constant Glib.Signal_Name := "switch-page";
   procedure On_Switch_Page
      (Self  : not null access Gtk_Notebook_Record;
       Call  : Cb_Gtk_Notebook_Gtk_Widget_Guint_Void;
       After : Boolean := False);
   procedure On_Switch_Page
      (Self  : not null access Gtk_Notebook_Record;
       Call  : Cb_GObject_Gtk_Widget_Guint_Void;
       Slot  : not null access Glib.Object.GObject_Record'Class;
       After : Boolean := False);
   --  Emitted when the user or a function changes the current page.
   -- 
   --  Callback parameters:
   --    --  "page": the new current page
   --    --  "page_num": the index of the page

   ----------------
   -- Interfaces --
   ----------------
   --  This class implements several interfaces. See Glib.Types
   --
   --  - "Buildable"

   package Implements_Gtk_Buildable is new Glib.Types.Implements
     (Gtk.Buildable.Gtk_Buildable, Gtk_Notebook_Record, Gtk_Notebook);
   function "+"
     (Widget : access Gtk_Notebook_Record'Class)
   return Gtk.Buildable.Gtk_Buildable
   renames Implements_Gtk_Buildable.To_Interface;
   function "-"
     (Interf : Gtk.Buildable.Gtk_Buildable)
   return Gtk_Notebook
   renames Implements_Gtk_Buildable.To_Object;

private
   Tab_Pos_Property : constant Gtk.Enums.Property_Gtk_Position_Type :=
     Gtk.Enums.Build ("tab-pos");
   Show_Tabs_Property : constant Glib.Properties.Property_Boolean :=
     Glib.Properties.Build ("show-tabs");
   Show_Border_Property : constant Glib.Properties.Property_Boolean :=
     Glib.Properties.Build ("show-border");
   Scrollable_Property : constant Glib.Properties.Property_Boolean :=
     Glib.Properties.Build ("scrollable");
   Page_Property : constant Glib.Properties.Property_Int :=
     Glib.Properties.Build ("page");
   Group_Name_Property : constant Glib.Properties.Property_String :=
     Glib.Properties.Build ("group-name");
   Enable_Popup_Property : constant Glib.Properties.Property_Boolean :=
     Glib.Properties.Build ("enable-popup");
end Gtk.Notebook;