+++ /dev/null
-(* $Id$ *)
-
-open Gaux
-open Gtk
-open GtkBase
-open GtkBin
-open GObj
-open GContainer
-
-class scrolled_window obj = object
- inherit container_full (obj : Gtk.scrolled_window obj)
- method hadjustment =
- new GData.adjustment (ScrolledWindow.get_hadjustment obj)
- method vadjustment =
- new GData.adjustment (ScrolledWindow.get_vadjustment obj)
- method set_hadjustment adj =
- ScrolledWindow.set_hadjustment obj (GData.as_adjustment adj)
- method set_vadjustment adj =
- ScrolledWindow.set_vadjustment obj (GData.as_adjustment adj)
- method set_hpolicy hpolicy = ScrolledWindow.set_policy' obj ~hpolicy
- method set_vpolicy vpolicy = ScrolledWindow.set_policy' obj ~vpolicy
- method set_placement = ScrolledWindow.set_placement obj
- method add_with_viewport w =
- ScrolledWindow.add_with_viewport obj (as_widget w)
-end
-
-let scrolled_window ?hadjustment ?vadjustment ?hpolicy ?vpolicy
- ?placement ?border_width ?width ?height ?packing ?show () =
- let w =
- ScrolledWindow.create ()
- ?hadjustment:(may_map ~f:GData.as_adjustment hadjustment)
- ?vadjustment:(may_map ~f:GData.as_adjustment vadjustment) in
- ScrolledWindow.set w ?hpolicy ?vpolicy ?placement;
- Container.set w ?border_width ?width ?height;
- pack_return (new scrolled_window w) ~packing ~show
-
-class event_box obj = object
- inherit container_full (obj : Gtk.event_box obj)
- method event = new GObj.event_ops obj
-end
-
-let event_box ?border_width ?width ?height ?packing ?show () =
- let w = EventBox.create () in
- Container.set w ?border_width ?width ?height;
- pack_return (new event_box w) ~packing ~show
-
-class handle_box_signals obj = object
- inherit container_signals obj
- method child_attached ~callback =
- GtkSignal.connect ~sgn:HandleBox.Signals.child_attached obj ~after
- ~callback:(fun obj -> callback (new widget obj))
- method child_detached ~callback =
- GtkSignal.connect ~sgn:HandleBox.Signals.child_detached obj ~after
- ~callback:(fun obj -> callback (new widget obj))
-end
-
-class handle_box obj = object
- inherit container (obj : Gtk.handle_box obj)
- method set_shadow_type = HandleBox.set_shadow_type obj
- method set_handle_position = HandleBox.set_handle_position obj
- method set_snap_edge = HandleBox.set_snap_edge obj
- method connect = new handle_box_signals obj
- method event = new GObj.event_ops obj
-end
-
-let handle_box ?border_width ?width ?height ?packing ?show () =
- let w = HandleBox.create () in
- let () = Container.set w ?border_width ?width ?height in
- pack_return (new handle_box w) ~packing ~show
-
-class frame_skel obj = object
- inherit container obj
- method set_label = Frame.set_label obj
- method set_label_align ?x ?y () = Frame.set_label_align' obj ?x ?y
- method set_shadow_type = Frame.set_shadow_type obj
-end
-
-class frame obj = object
- inherit frame_skel (Frame.coerce obj)
- method connect = new container_signals obj
-end
-
-let frame ?(label="") ?label_xalign ?label_yalign ?shadow_type
- ?border_width ?width ?height ?packing ?show () =
- let w = Frame.create label in
- Frame.set w ?label_xalign ?label_yalign ?shadow_type;
- Container.set w ?border_width ?width ?height;
- pack_return (new frame w) ~packing ~show
-
-class aspect_frame obj = object
- inherit frame_skel (obj : Gtk.aspect_frame obj)
- method connect = new container_signals obj
- method set_alignment ?x ?y () = AspectFrame.set obj ?xalign:x ?yalign:y
- method set_ratio ratio = AspectFrame.set obj ~ratio
- method set_obey_child obey_child = AspectFrame.set obj ~obey_child
-end
-
-let aspect_frame ?label ?xalign ?yalign ?ratio ?obey_child
- ?label_xalign ?label_yalign ?shadow_type
- ?border_width ?width ?height ?packing ?show () =
- let w =
- AspectFrame.create ?label ?xalign ?yalign ?ratio ?obey_child () in
- Frame.set w ?label_xalign ?label_yalign ?shadow_type;
- Container.set w ?border_width ?width ?height;
- pack_return (new aspect_frame w) ~packing ~show
-
-class viewport obj = object
- inherit container_full (obj : Gtk.viewport obj)
- method event = new event_ops obj
- method set_hadjustment adj =
- Viewport.set_hadjustment obj (GData.as_adjustment adj)
- method set_vadjustment adj =
- Viewport.set_vadjustment obj (GData.as_adjustment adj)
- method set_shadow_type = Viewport.set_shadow_type obj
- method hadjustment = new GData.adjustment (Viewport.get_hadjustment obj)
- method vadjustment = new GData.adjustment (Viewport.get_vadjustment obj)
-end
-
-let viewport ?hadjustment ?vadjustment ?shadow_type
- ?border_width ?width ?height ?packing ?show () =
- let w = Viewport.create ()
- ?hadjustment:(may_map ~f:GData.as_adjustment hadjustment)
- ?vadjustment:(may_map ~f:GData.as_adjustment vadjustment) in
- may shadow_type ~f:(Viewport.set_shadow_type w);
- Container.set w ?border_width ?width ?height;
- pack_return (new viewport w) ~packing ~show
-
-class alignment obj = object
- inherit container_full (obj : Gtk.alignment obj)
- method set_alignment ?x ?y () = Alignment.set ?x ?y obj
- method set_scale ?x ?y () = Alignment.set ?xscale:x ?yscale:y obj
-end
-
-let alignment ?x ?y ?xscale ?yscale
- ?border_width ?width ?height ?packing ?show () =
- let w = Alignment.create ?x ?y ?xscale ?yscale () in
- Container.set w ?border_width ?width ?height;
- pack_return (new alignment w) ~packing ~show
-
-let alignment_cast w = new alignment (Alignment.cast w#as_widget)
-
-class socket obj = object (self)
- inherit container_full (obj : Gtk.socket obj)
- method steal = Socket.steal obj
- method xwindow =
- self#misc#realize ();
- Gdk.Window.get_xwindow self#misc#window
-end
-
-let socket ?border_width ?width ?height ?packing ?show () =
- let w = Socket.create () in
- Container.set w ?border_width ?width ?height;
- pack_return (new socket w) ?packing ?show
projects / helm.git / blobdiff