indexing
	description: "GtkHScrollbar, a vertical scrollbar."
	copyright: "[
					Copyright (C) 2006 Paolo Redaelli, GTK+ team
					
					This library is free software; you can redistribute it and/or
					modify it under the terms of the GNU Lesser General Public License
					as published by the Free Software Foundation; either version 2.1 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
					Lesser General Public License for more details.

					You should have received a copy of the GNU Lesser General Public
					License along with this library; if not, write to the Free Software
					Foundation, Inc., 51 Franklin Street, Fifth Floor, Boston, MA
					02110-1301 USA
			]"

class GTK_VSCROLLBAR
	-- The GTK_VSCROLLBAR widget is a widget arranged vertically
	-- creating a scrollbar. See GTK_SCROLLBAR for details on
	-- scrollbars. A GTK_ADJUSTMENT may be added to handle the
	-- adjustment of the scrollbar or it may be left Void in which case
	-- one will be created for you. See GTK_ADJUSTMENT for details.
inherit GTK_SCROLLBAR
	-- GtkHScrollbar implements AtkImplementorIface.
	
creation make, with_adjustment, from_external_pointer

feature {} -- Creation
	make is
			-- Creates a new vertical scrollbar; a new adjustment is also created.
		require
			gtk_initialized: gtk.is_initialized
		do
			from_external_pointer (gtk_vscrollbar_new (default_pointer))
		end
	
	with_adjustment (an_adjustment: GTK_ADJUSTMENT) is
			-- Creates a new vertical scrollbar using `an_adjustment'.
		require
			gtk_initialized: gtk.is_initialized
			adjustment_not_void: an_adjustment /= Void
		do
			from_external_pointer (gtk_vscrollbar_new (an_adjustment.handle))
		end

feature -- size

	struct_size: INTEGER is
		external "C inline use <gtk/gtk.h>"
		alias "sizeof(GtkVSCrollbar)"
		end
	
feature {} -- External calls
	gtk_vscrollbar_new (gtk_adjustment: POINTER): POINTER is -- GtkWidget*
		external "C use <gtk/gtk.h>"
		end
end -- class GTK_VSCROLLBAR