man Panel () - Writing panel applets
NAME
Panel - Writing panel applets
Module
Module Panel
Documentation
Module Panel : sig end
Writing panel applets
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.