/src/wrappers/gtk/library/gtk_hscrollbar.e
Specman e | 60 lines | 41 code | 11 blank | 8 comment | 2 complexity | 7d4cc6fc23671cb00c715828f0af5496 MD5 | raw file
1indexing 2 description: "GtkHScrollbar - A horizontal scrollbar." 3 copyright: "[ 4 Copyright (C) 2006 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 hope 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 22class GTK_HSCROLLBAR 23 -- The GTK_HSCROLLBAR widget is a widget arranged horizontally 24 -- creating a scrollbar. See GTK_SCROLLBAR for details on 25 -- scrollbars. A GTK_ADJUSTMENT may be added to handle the 26 -- adjustment of the scrollbar or it may be left Void in which case 27 -- one will be created for you. See GTK_ADJUSTMENT for details. 28 29inherit GTK_SCROLLBAR 30 -- GtkHScrollbar implements AtkImplementorIface. 31 32creation make, with_adjustment, from_external_pointer 33 34feature {} -- Creation 35 make is 36 -- Creates a new horizontal scrollbar; a new adjustment is also created. 37 do 38 from_external_pointer (gtk_hscrollbar_new (default_pointer)) 39 end 40 41 with_adjustment (an_adjustment: GTK_ADJUSTMENT) is 42 -- Creates a new horizontal scrollbar using `an_adjustment'. 43 require 44 adjustment_not_void: an_adjustment /= Void 45 do 46 from_external_pointer (gtk_hscrollbar_new (an_adjustment.handle)) 47 end 48 49feature -- size 50 51 struct_size: INTEGER is 52 external "C inline use <gtk/gtk.h>" 53 alias "sizeof(GtkHSCrollbar)" 54 end 55 56feature {} -- External calls 57 gtk_hscrollbar_new (gtk_adjustment: POINTER): POINTER is -- GtkWidget* 58 external "C use <gtk/gtk.h>" 59 end 60end -- class GTK_HSCROLLBAR