/src/wrappers/gtk/library/gtk_hbutton_box.e
Specman e | 65 lines | 36 code | 12 blank | 17 comment | 3 complexity | 8ca5be96a1eab2b52c84b23007282cb2 MD5 | raw file
1indexing 2 description: "GtkHButtonBox: A container for arranging buttons horizontally." 3 copyright: "[ 4 Copyright (C) 2007 Paolo Redaelli, GTK+ team 5 6 This library is free software; you can redistribute it and/or 7 modify it under the terms of the GNU Lesser General Public License 8 as published by the Free Software Foundation; either version 2.1 of 9 the License, or (at your option) any later version. 10 11 This library is distributed in the hopeOA that it will be useful, but 12 WITHOUT ANY WARRANTY; without even the implied warranty of 13 MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the GNU 14 Lesser General Public License for more details. 15 16 You should have received a copy of the GNU Lesser General Public 17 License along with this library; if not, write to the Free Software 18 Foundation, Inc., 51 Franklin Street, Fifth Floor, Boston, MA 19 02110-1301 USA 20 ]" 21 22 wrapped_version: "2.10.6" 23 24class GTK_HBUTTON_BOX 25 -- A button box provides a consistent layout of buttons throughout 26 -- your application. The layout/spacing can be altered by the 27 -- programmer, or if desired, by the user to alter the 'feel' of a 28 -- program to a small degree. 29 30 -- Buttons are packed into a button box the same way widgets are 31 -- added to any other container, using `add'. You can also use 32 -- `pack_start' or `pack_end', but for button boxes both these 33 -- functions work just like `add', ie., they pack the button in a 34 -- way that depends on the current layout style and on whether the 35 -- button has had gtk_button_box_set_child_secondary() called on 36 -- it. 37 38 -- The spacing between buttons can be set with gtk_box_set_spacing(). The 39 -- arrangement and layout of the buttons can be changed with 40 -- gtk_button_box_set_layout(). 41 42inherit GTK_BUTTON_BOX 43 -- GtkHButtonBox implements AtkImplementorIface. 44 45creation make, from_external_pointer 46 47feature {} -- Creation 48 make is 49 -- Creates a new horizontal button box. 50 do 51 from_external_pointer(gtk_hbutton_box_new) 52 end 53 54feature {} -- External calls 55 gtk_hbutton_box_new: POINTER is 56 -- GtkWidget* gtk_hbutton_box_new (void); 57 external "C inline use <gtk/gtk.h>" 58 end 59 60feature -- size 61 struct_size: INTEGER is 62 external "C inline use <gtk/gtk.h>" 63 alias "sizeof(GtkHButtonBox)" 64 end 65end -- class GTK_HBUTTON_BOX