overlay (p.ocgtk.0.1~preview2.doc.ocgtk.gtk.Ocgtk

inherit Ocgtk_gtk__.GEvent_controller_and__layout_child_and__layout_manager_and__root_and__tooltip_and__widget.widget_t

method add_overlay : Ocgtk_gtk__.GEvent_controller_and__layout_child_and__layout_manager_and__root_and__tooltip_and__widget.widget_t ->
  unit

method get_child : unit ->
  Ocgtk_gtk__.GEvent_controller_and__layout_child_and__layout_manager_and__root_and__tooltip_and__widget.widget_t
    option

method get_clip_overlay : Ocgtk_gtk__.GEvent_controller_and__layout_child_and__layout_manager_and__root_and__tooltip_and__widget.widget_t ->
  bool

method get_measure_overlay : Ocgtk_gtk__.GEvent_controller_and__layout_child_and__layout_manager_and__root_and__tooltip_and__widget.widget_t ->
  bool

method remove_overlay : Ocgtk_gtk__.GEvent_controller_and__layout_child_and__layout_manager_and__root_and__tooltip_and__widget.widget_t ->
  unit

method set_child : Ocgtk_gtk__.GEvent_controller_and__layout_child_and__layout_manager_and__root_and__tooltip_and__widget.widget_t
                     option ->
  unit

method set_clip_overlay : Ocgtk_gtk__.GEvent_controller_and__layout_child_and__layout_manager_and__root_and__tooltip_and__widget.widget_t ->
  bool ->
  unit

method set_measure_overlay : Ocgtk_gtk__.GEvent_controller_and__layout_child_and__layout_manager_and__root_and__tooltip_and__widget.widget_t ->
  bool ->
  unit

method as_overlay : Ocgtk_gtk__.Overlay.t