([> Panel.panel_applet ] as 'a) Gtk.obj ->
object
  val obj : 'a Gtk.obj
  method add : GObj.widget -> unit
  method all_children : GObj.widget list
  method as_widget : Gtk.widget Gtk.obj
  method border_width : int
  method child : GObj.widget
  method children : GObj.widget list
  method coerce : GObj.widget
  method connect : Panel.applet_signals
  method destroy : unit -> unit
  method drag : GObj.drag_ops
  method event : GObj.event_ops
  method focus : GContainer.focus
  method get_background : Panel.background_type
  method get_flags : Panel.flags list
  method get_oid : int
  method get_orient : Panel.orient_type
  method get_size : int
  method misc : GObj.misc_ops
  method remove : GObj.widget -> unit
  method resize_mode : Gtk.Tags.resize_mode
  method set_border_width : int -> unit
  method set_flags : Panel.flags list -> unit
  method set_resize_mode : Gtk.Tags.resize_mode -> unit
  method setup_menu : xml:string -> Panel.verb list -> unit
  method setup_menu_from_file :
    ?dir:string -> file:string -> ?app_name:string -> Panel.verb list -> unit
end