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
|
-----------------------------------------------------------------------
-- GtkAda - Ada95 binding for the Gimp Toolkit --
-- --
-- Copyright (C) 1998-1999 --
-- Emmanuel Briot, Joel Brobecker and Arnaud Charlet --
-- Copyright (C) 2000-2013, 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. --
-- --
-----------------------------------------------------------------------
with Gtk.Box; use Gtk.Box;
with Gtk.Button; use Gtk.Button;
with Gtk.Enums; use Gtk.Enums;
with Gtk.Frame; use Gtk.Frame;
with Gtk.Paned; use Gtk.Paned;
with Gtk.Widget; use Gtk.Widget;
with Gtk; use Gtk;
package body Create_Paned is
----------
-- Help --
----------
function Help return String is
begin
return "A @bGtk_Paned@B splits a container in two parts, that can be"
& " resized by the user." & ASCII.LF
& "They have two children, one for each side."
& ASCII.LF
& "If @bShrink@B is set to True for one of the children, then the user"
& " can resize it to any size. If it is set to False, then the"
& " minimum size set for the child by a call to @bSet_Usize@B is"
& " enforced, and the child can never be shrinked more than that."
& ASCII.LF
& "If @bResize@B is set to True for one of the children only, then"
& " that child gets the exact size it requested, the other gets the"
& " remaining space. In the example, the two buttons have requested"
& " the same size, but since the second sets Resize to True, it gets"
& " more space."
& ASCII.LF
& "If both children have the same value for resize, their allocated"
& " size is a ratio between their respective sizes."
& ASCII.LF
& "Note that moving the handle to manually resize the widgets"
& " cancels the effect of the resize buttons, so you should click on"
& " them before playing with the handles...";
end Help;
---------
-- Run --
---------
procedure Run (Frame : access Gtk.Frame.Gtk_Frame_Record'Class) is
VPaned : Gtk_Paned;
HPaned : Gtk_Paned;
Frame2 : Gtk_Frame;
Button : Gtk_Button;
Vbox : Gtk_Box;
begin
Set_Label (Frame, "Panes");
Gtk_New_Vbox (Vbox, False, 0);
Add (Frame, Vbox);
Gtk_New_Vpaned (VPaned);
Pack_Start (Vbox, VPaned, True, True, 0);
Set_Border_Width (VPaned, 5);
Gtk_New_Hpaned (HPaned);
Pack1 (VPaned, HPaned, Resize => False, Shrink => True);
Gtk_New (Frame2);
Gtk_New (Button, "not Resize, not Shrink, minWidth=60");
Add (Frame2, Button);
Set_Shadow_Type (Frame2, Shadow_In);
Set_USize (Frame2, 60, 60);
Pack1 (HPaned, Frame2, False, False);
Gtk_New (Frame2);
Gtk_New (Button, "Resize, Shrink");
Add (Frame2, Button);
Set_Shadow_Type (Frame2, Shadow_In);
Set_USize (Frame2, 80, 60);
Pack2 (HPaned, Frame2, Resize => True, Shrink => True);
Gtk_New (Frame2);
Gtk_New (Button, "not Resize, not Shrink, minHeight=280");
Add (Frame2, Button);
Set_Shadow_Type (Frame2, Shadow_In);
Set_USize (Frame2, 60, 280);
Pack2 (VPaned, Frame2, Resize => False, Shrink => False);
Show_All (Frame);
end Run;
end Create_Paned;
|
