module Panel: sig
.. end
Writing panel applets
GTK documentation: panelapplet
type
panel_applet = [ `bin | `container | `eventbox | `gtk | `panelapplet | `widget ]
type
flags = [ `EXPAND_MAJOR | `EXPAND_MINOR | `HAS_HANDLE ]
type
background_type = [ `COLOR_BACKGROUND of Gdk.color
| `NO_BACKGROUND
| `PIXMAP_BACKGROUND of Gdk.pixmap ]
type
orient_type = [ `DOWN | `LEFT | `RIGHT | `UP ]
type
verb = string * (string -> unit)
class applet_signals : panel_applet Gtk.obj ->
object
.. end
class applet : [> panel_applet ] Gtk.obj ->
object
.. end
val factory_main : iid:string -> (applet -> iid:string -> bool) -> bool
A generic 'main' routine for applets.