<html><head> <link rel="stylesheet" href="style.css" type="text/css"> <link rel="Start" href="index.html"> <title>LablGTK : Panel</title> </head> <body> <code class="code"><span class="keyword">sig</span><br> <span class="keyword">type</span> panel_applet =<br> [ <span class="keywordsign">`</span>bin <span class="keywordsign">|</span> <span class="keywordsign">`</span>container <span class="keywordsign">|</span> <span class="keywordsign">`</span>eventbox <span class="keywordsign">|</span> <span class="keywordsign">`</span>gtk <span class="keywordsign">|</span> <span class="keywordsign">`</span>panelapplet <span class="keywordsign">|</span> <span class="keywordsign">`</span>widget ]<br> <span class="keyword">type</span> flags = [ <span class="keywordsign">`</span><span class="constructor">EXPAND_MAJOR</span> <span class="keywordsign">|</span> <span class="keywordsign">`</span><span class="constructor">EXPAND_MINOR</span> <span class="keywordsign">|</span> <span class="keywordsign">`</span><span class="constructor">HAS_HANDLE</span> ]<br> <span class="keyword">type</span> background_type =<br> [ <span class="keywordsign">`</span><span class="constructor">COLOR_BACKGROUND</span> <span class="keyword">of</span> <span class="constructor">Gdk</span>.color<br> <span class="keywordsign">|</span> <span class="keywordsign">`</span><span class="constructor">NO_BACKGROUND</span><br> <span class="keywordsign">|</span> <span class="keywordsign">`</span><span class="constructor">PIXMAP_BACKGROUND</span> <span class="keyword">of</span> <span class="constructor">Gdk</span>.pixmap ]<br> <span class="keyword">type</span> orient_type = [ <span class="keywordsign">`</span><span class="constructor">DOWN</span> <span class="keywordsign">|</span> <span class="keywordsign">`</span><span class="constructor">LEFT</span> <span class="keywordsign">|</span> <span class="keywordsign">`</span><span class="constructor">RIGHT</span> <span class="keywordsign">|</span> <span class="keywordsign">`</span><span class="constructor">UP</span> ]<br> <span class="keyword">type</span> verb = string * (string <span class="keywordsign">-></span> unit)<br> <span class="keyword">class</span> applet_signals :<br> <span class="constructor">Panel</span>.panel_applet <span class="constructor">Gtk</span>.obj <span class="keywordsign">-></span><br> <span class="keyword">object</span> (<span class="keywordsign">'</span>a)<br> <span class="keyword">val</span> obj : <span class="constructor">Panel</span>.panel_applet <span class="constructor">Gtk</span>.obj<br> <span class="keyword">method</span> add : callback:(<span class="constructor">GObj</span>.widget <span class="keywordsign">-></span> unit) <span class="keywordsign">-></span> <span class="constructor">GtkSignal</span>.id<br> <span class="keyword">method</span> after : <span class="keywordsign">'</span>a<br> <span class="keyword">method</span> change_background :<br> callback:(<span class="constructor">Panel</span>.background_type <span class="keywordsign">-></span> unit) <span class="keywordsign">-></span> <span class="constructor">GtkSignal</span>.id<br> <span class="keyword">method</span> change_orient :<br> callback:(<span class="constructor">Panel</span>.orient_type <span class="keywordsign">-></span> unit) <span class="keywordsign">-></span> <span class="constructor">GtkSignal</span>.id<br> <span class="keyword">method</span> change_size : callback:(int <span class="keywordsign">-></span> unit) <span class="keywordsign">-></span> <span class="constructor">GtkSignal</span>.id<br> <span class="keyword">method</span> destroy : callback:(unit <span class="keywordsign">-></span> unit) <span class="keywordsign">-></span> <span class="constructor">GtkSignal</span>.id<br> <span class="keyword">method</span> move_focus_out_of_applet :<br> callback:(<span class="constructor">GtkEnums</span>.direction_type <span class="keywordsign">-></span> unit) <span class="keywordsign">-></span> <span class="constructor">GtkSignal</span>.id<br> <span class="keyword">method</span> remove : callback:(<span class="constructor">GObj</span>.widget <span class="keywordsign">-></span> unit) <span class="keywordsign">-></span> <span class="constructor">GtkSignal</span>.id<br> <span class="keyword">end</span><br> <span class="keyword">class</span> applet :<br> ([> <span class="constructor">Panel</span>.panel_applet ] <span class="keyword">as</span> <span class="keywordsign">'</span>a) <span class="constructor">Gtk</span>.obj <span class="keywordsign">-></span><br> <span class="keyword">object</span><br> <span class="keyword">val</span> obj : <span class="keywordsign">'</span>a <span class="constructor">Gtk</span>.obj<br> <span class="keyword">method</span> add : <span class="constructor">GObj</span>.widget <span class="keywordsign">-></span> unit<br> <span class="keyword">method</span> all_children : <span class="constructor">GObj</span>.widget list<br> <span class="keyword">method</span> as_widget : <span class="constructor">Gtk</span>.widget <span class="constructor">Gtk</span>.obj<br> <span class="keyword">method</span> border_width : int<br> <span class="keyword">method</span> child : <span class="constructor">GObj</span>.widget<br> <span class="keyword">method</span> children : <span class="constructor">GObj</span>.widget list<br> <span class="keyword">method</span> coerce : <span class="constructor">GObj</span>.widget<br> <span class="keyword">method</span> connect : <span class="constructor">Panel</span>.applet_signals<br> <span class="keyword">method</span> destroy : unit <span class="keywordsign">-></span> unit<br> <span class="keyword">method</span> drag : <span class="constructor">GObj</span>.drag_ops<br> <span class="keyword">method</span> event : <span class="constructor">GObj</span>.event_ops<br> <span class="keyword">method</span> focus : <span class="constructor">GContainer</span>.focus<br> <span class="keyword">method</span> get_background : <span class="constructor">Panel</span>.background_type<br> <span class="keyword">method</span> get_flags : <span class="constructor">Panel</span>.flags list<br> <span class="keyword">method</span> get_oid : int<br> <span class="keyword">method</span> get_orient : <span class="constructor">Panel</span>.orient_type<br> <span class="keyword">method</span> get_size : int<br> <span class="keyword">method</span> misc : <span class="constructor">GObj</span>.misc_ops<br> <span class="keyword">method</span> remove : <span class="constructor">GObj</span>.widget <span class="keywordsign">-></span> unit<br> <span class="keyword">method</span> resize_mode : <span class="constructor">Gtk</span>.<span class="constructor">Tags</span>.resize_mode<br> <span class="keyword">method</span> set_border_width : int <span class="keywordsign">-></span> unit<br> <span class="keyword">method</span> set_flags : <span class="constructor">Panel</span>.flags list <span class="keywordsign">-></span> unit<br> <span class="keyword">method</span> set_resize_mode : <span class="constructor">Gtk</span>.<span class="constructor">Tags</span>.resize_mode <span class="keywordsign">-></span> unit<br> <span class="keyword">method</span> setup_menu : xml:string <span class="keywordsign">-></span> <span class="constructor">Panel</span>.verb list <span class="keywordsign">-></span> unit<br> <span class="keyword">method</span> setup_menu_from_file :<br> ?dir:string <span class="keywordsign">-></span><br> file:string <span class="keywordsign">-></span> ?app_name:string <span class="keywordsign">-></span> <span class="constructor">Panel</span>.verb list <span class="keywordsign">-></span> unit<br> <span class="keyword">end</span><br> <span class="keyword">val</span> factory_main :<br> iid:string <span class="keywordsign">-></span> (<span class="constructor">Panel</span>.applet <span class="keywordsign">-></span> iid:string <span class="keywordsign">-></span> bool) <span class="keywordsign">-></span> bool<br> <span class="keyword">end</span></code></body></html>