PageRenderTime 25ms CodeModel.GetById 18ms app.highlight 2ms RepoModel.GetById 2ms app.codeStats 0ms

/src/wrappers/gtk/library/gtk_hseparator.e

http://github.com/tybor/Liberty
Specman e | 56 lines | 36 code | 10 blank | 10 comment | 2 complexity | 2658cbef4de6c78d1dcb301598326f76 MD5 | raw file
 1indexing
 2	description: "A horizontal separator."
 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_HSEPARATOR
25	-- The GtkHSeparator widget is a horizontal separator, used to
26	-- group the widgets within a window. It displays a horizontal line
27	-- with a shadow to make it appear sunken into the interface.
28
29	-- Note: The GtkHSeparator widget is not used as a separator within
30	-- menus. To create a separator in a menu create an empty
31	-- GTK_SEPARATOR_MENU_ITEM widget and add it to the menu with
32	-- GTK_MENU_SHELL.`append'.
33
34inherit GTK_SEPARATOR
35	--   GtkHSeparator implements AtkImplementorIface.
36
37creation make, from_external_pointer
38
39feature {} -- Creation
40	make is
41			-- Creates a new GtkHSeparator.
42		do
43			from_external_pointer(gtk_hseparator_new)
44		end
45feature -- size
46	struct_size: INTEGER is
47		external "C inline use <gtk/gtk.h>"
48		alias "sizeof(GtkHseparator)"
49		end
50
51feature {} -- External calls
52	gtk_hseparator_new: POINTER is
53			-- GtkWidget* gtk_hseparator_new (void);
54		external "C use <gtk/gtk.h>"
55		end
56end -- class GTK_HSEPARATOR