<!DOCTYPE HTML PUBLIC "-//W3C//DTD HTML 4.01 Transitional//EN"> <html> <head> <link rel="stylesheet" href="style.css" type="text/css"> <link rel="Start" href="index.html"> <link rel="previous" href="GText.html"> <link rel="next" href="GMisc.html"> <link rel="Up" href="index.html"> <title>LablGTK : GMenu</title> </head> <body> <div class="navbar"><a href="GText.html">Previous</a> <a href="index.html">Up</a> <a href="GMisc.html">Next</a> </div> <center><h1>Module <a href="type_GMenu.html">GMenu</a></h1></center> <br> <pre><span class="keyword">module</span> GMenu: <code class="code">sig</code> <a href="GMenu.html">..</a> <code class="code">end</code></pre>Menus<br> <hr width="100%"> <br> Menus<br> <pre><span class="keyword">class</span> <a name="TYPEmenu_shell_signals"></a><a href="GMenu.menu_shell_signals.html">menu_shell_signals</a> : <code class="type">[> <a href="Gtk.html#TYPEmenu_shell">Gtk.menu_shell</a> ] <a href="Gtk.html#TYPEobj">Gtk.obj</a> -> </code><code class="code">object</code> <a href="GMenu.menu_shell_signals.html">..</a> <code class="code">end</code></pre><div class="info"> </div> <br><pre><span class="keyword">class</span> <a name="TYPEmenu_item_signals"></a><a href="GMenu.menu_item_signals.html">menu_item_signals</a> : <code class="type">[> <a href="Gtk.html#TYPEmenu_item">Gtk.menu_item</a> ] <a href="Gtk.html#TYPEobj">Gtk.obj</a> -> </code><code class="code">object</code> <a href="GMenu.menu_item_signals.html">..</a> <code class="code">end</code></pre><div class="info"> </div> <br><pre><span class="keyword">class</span> <a name="TYPEmenu_item_skel"></a><a href="GMenu.menu_item_skel.html">menu_item_skel</a> : <code class="type">[> <a href="Gtk.html#TYPEmenu_item">Gtk.menu_item</a> ] <a href="Gtk.html#TYPEobj">Gtk.obj</a> -> </code><code class="code">object</code> <a href="GMenu.menu_item_skel.html">..</a> <code class="code">end</code></pre><div class="info"> </div> <br><pre><span class="keyword">class</span> <a name="TYPEmenu_item"></a><a href="GMenu.menu_item.html">menu_item</a> : <code class="type">[> <a href="Gtk.html#TYPEmenu_item">Gtk.menu_item</a> ] <a href="Gtk.html#TYPEobj">Gtk.obj</a> -> </code><code class="code">object</code> <a href="GMenu.menu_item.html">..</a> <code class="code">end</code></pre><div class="info"> The widget used for item in menus </div> <br><pre><span class="keyword">class</span> <a name="TYPEmenu"></a><a href="GMenu.menu.html">menu</a> : <code class="type"><a href="Gtk.html#TYPEmenu">Gtk.menu</a> <a href="Gtk.html#TYPEobj">Gtk.obj</a> -> </code><code class="code">object</code> <a href="GMenu.menu.html">..</a> <code class="code">end</code></pre><div class="info"> A drop down menu widget </div> <br><pre><span class="keyword">val</span> <a name="VALmenu"></a>menu : <code class="type">?accel_path:string -><br> ?border_width:int -><br> ?packing:(<a href="GMenu.menu.html">menu</a> -> unit) -> ?show:bool -> unit -> <a href="GMenu.menu.html">menu</a></code></pre><div class="info"> <small>GTK documentation: <a href="file:///usr/share/gtk-doc/html/gtk/GtkMenu.html">GtkMenu</a></small></div> <pre><span class="keyword">val</span> <a name="VALmenu_item"></a>menu_item : <code class="type">?use_mnemonic:bool -><br> ?label:string -><br> ?right_justified:bool -><br> ?packing:(<a href="GMenu.menu_item.html">menu_item</a> -> unit) -> ?show:bool -> unit -> <a href="GMenu.menu_item.html">menu_item</a></code></pre><div class="info"> <small>GTK documentation: <a href="file:///usr/share/gtk-doc/html/gtk/GtkMenuItem.html">GtkMenuItem</a></small></div> <pre><span class="keyword">val</span> <a name="VALtearoff_item"></a>tearoff_item : <code class="type">?packing:(<a href="GMenu.menu_item.html">menu_item</a> -> unit) -> ?show:bool -> unit -> <a href="GMenu.menu_item.html">menu_item</a></code></pre><div class="info"> <small>GTK documentation: <a href="file:///usr/share/gtk-doc/html/gtk/GtkTearoffMenuItem.html">GtkTearoffMenuItem</a></small></div> <pre><span class="keyword">val</span> <a name="VALseparator_item"></a>separator_item : <code class="type">?packing:(<a href="GMenu.menu_item.html">menu_item</a> -> unit) -> ?show:bool -> unit -> <a href="GMenu.menu_item.html">menu_item</a></code></pre><div class="info"> <small>GTK documentation: <a href="file:///usr/share/gtk-doc/html/gtk/GtkSeparatorMenuItem.html">GtkSeparatorMenuItem</a></small></div> <pre><span class="keyword">class</span> <a name="TYPEimage_menu_item"></a><a href="GMenu.image_menu_item.html">image_menu_item</a> : <code class="type"><a href="Gtk.html#TYPEimage_menu_item">Gtk.image_menu_item</a> <a href="Gtk.html#TYPEobj">Gtk.obj</a> -> </code><code class="code">object</code> <a href="GMenu.image_menu_item.html">..</a> <code class="code">end</code></pre><div class="info"> A menu item with an icon </div> <br><pre><span class="keyword">val</span> <a name="VALimage_menu_item"></a>image_menu_item : <code class="type">?image:#<a href="GObj.widget.html">GObj.widget</a> -><br> ?label:string -><br> ?use_mnemonic:bool -><br> ?stock:<a href="GtkStock.html#TYPEid">GtkStock.id</a> -><br> ?right_justified:bool -><br> ?packing:(<a href="GMenu.menu_item.html">menu_item</a> -> unit) -><br> ?show:bool -> unit -> <a href="GMenu.image_menu_item.html">image_menu_item</a></code></pre><div class="info"> <small>GTK documentation: <a href="file:///usr/share/gtk-doc/html/gtk/GtkImageMenuItem.html">GtkImageMenuItem</a></small></div> <pre><span class="keyword">class</span> <a name="TYPEcheck_menu_item_signals"></a><a href="GMenu.check_menu_item_signals.html">check_menu_item_signals</a> : <code class="type">[> <a href="Gtk.html#TYPEcheck_menu_item">Gtk.check_menu_item</a> ] <a href="Gtk.html#TYPEobj">Gtk.obj</a> -> </code><code class="code">object</code> <a href="GMenu.check_menu_item_signals.html">..</a> <code class="code">end</code></pre><div class="info"> </div> <br><pre><span class="keyword">class</span> <a name="TYPEcheck_menu_item"></a><a href="GMenu.check_menu_item.html">check_menu_item</a> : <code class="type">[> <a href="Gtk.html#TYPEcheck_menu_item">Gtk.check_menu_item</a> ] <a href="Gtk.html#TYPEobj">Gtk.obj</a> -> </code><code class="code">object</code> <a href="GMenu.check_menu_item.html">..</a> <code class="code">end</code></pre><div class="info"> A menu item with a check box </div> <br><pre><span class="keyword">val</span> <a name="VALcheck_menu_item"></a>check_menu_item : <code class="type">?label:string -><br> ?use_mnemonic:bool -><br> ?active:bool -><br> ?show_toggle:bool -><br> ?right_justified:bool -><br> ?packing:(<a href="GMenu.menu_item.html">menu_item</a> -> unit) -><br> ?show:bool -> unit -> <a href="GMenu.check_menu_item.html">check_menu_item</a></code></pre><div class="info"> <small>GTK documentation: <a href="file:///usr/share/gtk-doc/html/gtk/GtkCheckMenuItem.html">GtkCheckMenuItem</a></small></div> <pre><span class="keyword">class</span> <a name="TYPEradio_menu_item"></a><a href="GMenu.radio_menu_item.html">radio_menu_item</a> : <code class="type"><a href="Gtk.html#TYPEradio_menu_item">Gtk.radio_menu_item</a> <a href="Gtk.html#TYPEobj">Gtk.obj</a> -> </code><code class="code">object</code> <a href="GMenu.radio_menu_item.html">..</a> <code class="code">end</code></pre><div class="info"> A choice from multiple check menu items </div> <br><pre><span class="keyword">val</span> <a name="VALradio_menu_item"></a>radio_menu_item : <code class="type">?group:<a href="Gtk.html#TYPEradio_menu_item">Gtk.radio_menu_item</a> <a href="Gtk.html#TYPEgroup">Gtk.group</a> -><br> ?label:string -><br> ?use_mnemonic:bool -><br> ?active:bool -><br> ?show_toggle:bool -><br> ?right_justified:bool -><br> ?packing:(<a href="GMenu.menu_item.html">menu_item</a> -> unit) -><br> ?show:bool -> unit -> <a href="GMenu.radio_menu_item.html">radio_menu_item</a></code></pre><div class="info"> <small>GTK documentation: <a href="file:///usr/share/gtk-doc/html/gtk/GtkRadioMenuItem.html">GtkRadioMenuItem</a></small></div> <pre><span class="keyword">class</span> <a name="TYPEmenu_shell"></a><a href="GMenu.menu_shell.html">menu_shell</a> : <code class="type">[> <a href="Gtk.html#TYPEmenu_shell">Gtk.menu_shell</a> ] <a href="Gtk.html#TYPEobj">Gtk.obj</a> -> </code><code class="code">object</code> <a href="GMenu.menu_shell.html">..</a> <code class="code">end</code></pre><div class="info"> </div> <br><pre><span class="keyword">val</span> <a name="VALmenu_bar"></a>menu_bar : <code class="type">?border_width:int -><br> ?width:int -><br> ?height:int -><br> ?packing:(<a href="GObj.widget.html">GObj.widget</a> -> unit) -> ?show:bool -> unit -> <a href="GMenu.menu_shell.html">menu_shell</a></code></pre><div class="info"> <small>GTK documentation: <a href="file:///usr/share/gtk-doc/html/gtk/GtkMenuBar.html">GtkMenuBar</a></small></div> <pre><span class="keyword">class</span> <a name="TYPEoption_menu"></a><a href="GMenu.option_menu.html">option_menu</a> : <code class="type">[> <a href="Gtk.html#TYPEoption_menu">Gtk.option_menu</a> ] <a href="Gtk.html#TYPEobj">Gtk.obj</a> -> </code><code class="code">object</code> <a href="GMenu.option_menu.html">..</a> <code class="code">end</code></pre><div class="info"> A widget used to choose from a list of valid choices </div> <br><pre><span class="keyword">val</span> <a name="VALoption_menu"></a>option_menu : <code class="type">?menu:#<a href="GMenu.menu.html">menu</a> -><br> ?border_width:int -><br> ?width:int -><br> ?height:int -><br> ?packing:(<a href="GObj.widget.html">GObj.widget</a> -> unit) -> ?show:bool -> unit -> <a href="GMenu.option_menu.html">option_menu</a></code></pre><div class="info"> <small>GTK documentation: <a href="file:///usr/share/gtk-doc/html/gtk/GtkOptionMenu.html">GtkOptionMenu</a></small></div> <pre><span class="keyword">class</span> <a name="TYPEfactory"></a><code class="type">[#<a href="GMenu.menu_shell.html">menu_shell</a>]</code> <a href="GMenu.factory.html">factory</a> : <code class="type">?accel_group:<a href="Gtk.html#TYPEaccel_group">Gtk.accel_group</a> -> ?accel_path:string -> ?accel_modi:<a href="Gdk.Tags.html#TYPEmodifier">Gdk.Tags.modifier</a> list -> ?accel_flags:<a href="Gtk.Tags.html#TYPEaccel_flag">Gtk.Tags.accel_flag</a> list -> #<a href="GMenu.menu_shell.html">menu_shell</a> as 'a -> </code><code class="code">object</code> <a href="GMenu.factory.html">..</a> <code class="code">end</code></pre><div class="info"> A factory for menus </div> <br></body></html>