PageRenderTime 21ms CodeModel.GetById 14ms app.highlight 3ms RepoModel.GetById 1ms app.codeStats 0ms

/src/wrappers/gtk/library/gtk_tearoff_menu_item.e

http://github.com/tybor/Liberty
Specman e | 61 lines | 35 code | 14 blank | 12 comment | 2 complexity | 76967bccf58b71916499f48877a5ba75 MD5 | raw file
 1indexing
 2	description: "GtkTearoffMenuItem -- A menu item used to tear off and reattach its menu."
 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
22class GTK_TEAROFF_MENU_ITEM
23	-- A GtkTearoffMenuItem is a special GtkMenuItem which is used to
24	-- tear off and reattach its menu.  When its menu is shown
25	-- normally, the GtkTearoffMenuItem is drawn as a dotted line
26	-- indicating that the menu can be torn off. Activating it causes
27	-- its menu to be torn off and displayed in its own window as a
28	-- tearoff menu.
29	
30	-- When its menu is shown as a tearoff menu, the GtkTearoffMenuItem
31	-- is drawn as a dotted line which has a left pointing arrow
32	-- graphic indicating that the tearoff menu can be
33	-- reattached. Activating it will erase the tearoff menu window.
34
35inherit GTK_MENU_ITEM redefine make, struct_size end
36
37-- TODO: GtkTearoffMenuItem implements AtkImplementorIface.
38
39creation make, from_external_pointer
40
41feature {} -- Creation
42
43	make is
44			-- Creates a new GtkTearoffMenuItem.
45		do
46			from_external_pointer (gtk_tearoff_menu_item_new)
47		end 
48
49feature -- size
50	struct_size: INTEGER is
51		external "C inline use <gtk/gtk.h>"
52		alias "sizeof(GtkTearoffMenuItem)"
53		end
54
55feature {} -- External features
56
57	gtk_tearoff_menu_item_new: POINTER is  -- GtkWidget*
58		external "C use <gtk/gtk.h>"
59		end
60
61end