/src/wrappers/gtk/library/gtk_hpaned.e
Specman e | 54 lines | 39 code | 9 blank | 6 comment | 2 complexity | 6dfb0163894d4069a34c426d5c2932f0 MD5 | raw file
1indexing 2 description: "GtkHPaned -- A container with two panes arranged horizontally" 3 copyright: "[ 4 Copyright (C) 2006 eiffel-libraries team, 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 date: "$Date:$" 22 revision: "$Revision:$" 23 24class GTK_HPANED 25 -- The HPaned widget is a container widget with two children 26 -- arranged horizontally. The division between the two panes is 27 -- adjustable by the user by dragging a handle. See GtkPaned for 28 -- details. 29inherit 30 GTK_PANED 31 -- GtkHPaned implements AtkImplementorIface. 32 33creation make,from_external_pointer 34 35feature {} -- size 36 struct_size: INTEGER is 37 external "C inline use <gtk/gtk.h>" 38 alias "sizeof(GtkHPaned)" 39 end 40 41feature {} -- Creation 42 make is 43 -- Create a new GtkHPaned 44 require gtk_initialized: gtk.is_initialized 45 do 46 from_external_pointer (gtk_hpaned_new) 47 end 48 49 50feature {} 51 gtk_hpaned_new: POINTER is 52 external "C use <gtk/gtk.h>" 53 end 54end