/src/wrappers/gtk/library/gtk_vscrollbar.e
Specman e | 62 lines | 44 code | 10 blank | 8 comment | 2 complexity | 6b31599ba25318f013bff394ab29d5b7 MD5 | raw file
1indexing 2 description: "GtkHScrollbar, a vertical 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_VSCROLLBAR 23 -- The GTK_VSCROLLBAR widget is a widget arranged vertically 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. 28inherit GTK_SCROLLBAR 29 -- GtkHScrollbar implements AtkImplementorIface. 30 31creation make, with_adjustment, from_external_pointer 32 33feature {} -- Creation 34 make is 35 -- Creates a new vertical scrollbar; a new adjustment is also created. 36 require 37 gtk_initialized: gtk.is_initialized 38 do 39 from_external_pointer (gtk_vscrollbar_new (default_pointer)) 40 end 41 42 with_adjustment (an_adjustment: GTK_ADJUSTMENT) is 43 -- Creates a new vertical scrollbar using `an_adjustment'. 44 require 45 gtk_initialized: gtk.is_initialized 46 adjustment_not_void: an_adjustment /= Void 47 do 48 from_external_pointer (gtk_vscrollbar_new (an_adjustment.handle)) 49 end 50 51feature -- size 52 53 struct_size: INTEGER is 54 external "C inline use <gtk/gtk.h>" 55 alias "sizeof(GtkVSCrollbar)" 56 end 57 58feature {} -- External calls 59 gtk_vscrollbar_new (gtk_adjustment: POINTER): POINTER is -- GtkWidget* 60 external "C use <gtk/gtk.h>" 61 end 62end -- class GTK_VSCROLLBAR