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.