<html><head> <link rel="stylesheet" href="style.css" type="text/css"> <link rel="Start" href="index.html"> <title>LablGTK : GtkMenu.OptionMenu</title> </head> <body> <code class="code"><span class="keyword">sig</span><br> <span class="keyword">val</span> cast : <span class="keywordsign">'</span>a <span class="constructor">Gobject</span>.obj <span class="keywordsign">-></span> <span class="constructor">Gtk</span>.option_menu <span class="constructor">Gtk</span>.obj<br> <span class="keyword">module</span> <span class="constructor">P</span> :<br> <span class="keyword">sig</span> <span class="keyword">val</span> menu : ([> <span class="keywordsign">`</span>optionmenu ], <span class="constructor">Gtk</span>.menu <span class="constructor">Gtk</span>.obj) <span class="constructor">Gobject</span>.property <span class="keyword">end</span><br> <span class="keyword">module</span> <span class="constructor">S</span> :<br> <span class="keyword">sig</span> <span class="keyword">val</span> changed : ([> <span class="keywordsign">`</span>optionmenu ], unit <span class="keywordsign">-></span> unit) <span class="constructor">GtkSignal</span>.t <span class="keyword">end</span><br> <span class="keyword">val</span> create : <span class="constructor">Gtk</span>.option_menu <span class="constructor">Gobject</span>.param list <span class="keywordsign">-></span> <span class="constructor">Gtk</span>.option_menu <span class="constructor">Gtk</span>.obj<br> <span class="keyword">external</span> remove_menu : [> <span class="keywordsign">`</span>optionmenu ] <span class="constructor">Gtk</span>.obj <span class="keywordsign">-></span> unit<br> = <span class="string">"ml_gtk_option_menu_remove_menu"</span><br> <span class="keyword">external</span> set_history : [> <span class="keywordsign">`</span>optionmenu ] <span class="constructor">Gtk</span>.obj <span class="keywordsign">-></span> int <span class="keywordsign">-></span> unit<br> = <span class="string">"ml_gtk_option_menu_set_history"</span><br> <span class="keyword">end</span></code></body></html>