+++ /dev/null
-(* $Id$ *)
-
-open Gaux
-open Gtk
-open GtkBase
-open GtkWindow
-open GtkMisc
-open GObj
-open GContainer
-
-class ['a] window_skel obj = object
- constraint 'a = _ #window_skel
- inherit container obj
- method event = new GObj.event_ops obj
- method as_window = Window.coerce obj
- method activate_focus () = Window.activate_focus obj
- method activate_default () = Window.activate_default obj
- method add_accel_group = Window.add_accel_group obj
- method set_modal = Window.set_modal obj
- method set_default_size = Window.set_default_size obj
- method set_position = Window.set_position obj
- method set_resize_mode = Container.set_resize_mode obj
- method set_transient_for (w : 'a) =
- Window.set_transient_for obj w#as_window
- method set_title = Window.set_title obj
- method set_wm_name name = Window.set_wmclass obj ~name
- method set_wm_class cls = Window.set_wmclass obj ~clas:cls
- method set_allow_shrink allow_shrink = Window.set_policy obj ~allow_shrink
- method set_allow_grow allow_grow = Window.set_policy obj ~allow_grow
- method set_auto_shrink auto_shrink = Window.set_policy obj ~auto_shrink
- method show () = Widget.show obj
-end
-
-class window obj = object
- inherit [window] window_skel (Window.coerce obj)
- method connect = new container_signals obj
-end
-
-let window ?kind:(t=`TOPLEVEL) ?title ?wm_name ?wm_class ?position
- ?allow_shrink ?allow_grow ?auto_shrink ?modal ?x ?y
- ?border_width ?width ?height ?(show=false) () =
- let w = Window.create t in
- Window.set w ?title ?wm_name ?wm_class ?position
- ?allow_shrink ?allow_grow ?auto_shrink ?modal ?x ?y;
- Container.set w ?border_width ?width ?height;
- if show then Widget.show w;
- new window w
-
-class dialog obj = object
- inherit [window] window_skel (Dialog.coerce obj)
- method connect = new container_signals obj
- method action_area = new GPack.box (Dialog.action_area obj)
- method vbox = new GPack.box (Dialog.vbox obj)
-end
-
-let dialog ?title ?wm_name ?wm_class ?position ?allow_shrink
- ?allow_grow ?auto_shrink ?modal ?x ?y ?border_width ?width ?height
- ?(show=false) () =
- let w = Dialog.create () in
- Window.set w ?title ?wm_name ?wm_class ?position
- ?allow_shrink ?allow_grow ?auto_shrink ?modal ?x ?y;
- Container.set w ?border_width ?width ?height;
- if show then Widget.show w;
- new dialog w
-
-class color_selection_dialog obj = object
- inherit [window] window_skel (obj : Gtk.color_selection_dialog obj)
- method connect = new container_signals obj
- method ok_button =
- new GButton.button (ColorSelection.ok_button obj)
- method cancel_button =
- new GButton.button (ColorSelection.cancel_button obj)
- method help_button =
- new GButton.button (ColorSelection.help_button obj)
- method colorsel =
- new GMisc.color_selection (ColorSelection.colorsel obj)
-end
-
-let color_selection_dialog ?(title="Pick a color")
- ?wm_name ?wm_class ?position
- ?allow_shrink ?allow_grow ?auto_shrink ?modal ?x ?y
- ?border_width ?width ?height ?(show=false) () =
- let w = ColorSelection.create_dialog title in
- Window.set w ?wm_name ?wm_class ?position
- ?allow_shrink ?allow_grow ?auto_shrink ?modal ?x ?y;
- Container.set w ?border_width ?width ?height;
- if show then Widget.show w;
- new color_selection_dialog w
-
-class file_selection obj = object
- inherit [window] window_skel (obj : Gtk.file_selection obj)
- method connect = new container_signals obj
- method set_filename = FileSelection.set_filename obj
- method get_filename = FileSelection.get_filename obj
- method set_fileop_buttons = FileSelection.set_fileop_buttons obj
- method ok_button = new GButton.button (FileSelection.get_ok_button obj)
- method cancel_button =
- new GButton.button (FileSelection.get_cancel_button obj)
- method help_button = new GButton.button (FileSelection.get_help_button obj)
-end
-
-let file_selection ?(title="Choose a file") ?filename
- ?(fileop_buttons=false)
- ?wm_name ?wm_class ?position
- ?allow_shrink ?allow_grow ?auto_shrink ?modal ?x ?y
- ?border_width ?width ?height ?(show=false) () =
- let w = FileSelection.create title in
- FileSelection.set w ?filename ~fileop_buttons;
- Window.set w ?wm_name ?wm_class ?position
- ?allow_shrink ?allow_grow ?auto_shrink ?modal ?x ?y;
- Container.set w ?border_width ?width ?height;
- if show then Widget.show w;
- new file_selection w
-
-class font_selection_dialog obj = object
- inherit [window] window_skel (obj : Gtk.font_selection_dialog obj)
- method connect = new container_signals obj
-(*
- method font = FontSelectionDialog.get_font obj
- method font_name = FontSelectionDialog.get_font_name obj
- method set_font_name = FontSelectionDialog.set_font_name obj
- method preview_text = FontSelectionDialog.get_preview_text obj
- method set_preview_text = FontSelectionDialog.set_preview_text obj
- method set_filter = FontSelectionDialog.set_filter obj
-*)
- method selection =
- new GMisc.font_selection (FontSelectionDialog.font_selection obj)
- method ok_button = new GButton.button (FontSelectionDialog.ok_button obj)
- method apply_button =
- new GButton.button (FontSelectionDialog.apply_button obj)
- method cancel_button =
- new GButton.button (FontSelectionDialog.cancel_button obj)
-end
-
-let font_selection_dialog ?title ?wm_name ?wm_class ?position
- ?allow_shrink ?allow_grow ?auto_shrink ?modal ?x ?y
- ?border_width ?width ?height ?(show=false) () =
- let w = FontSelectionDialog.create ?title () in
- Window.set w ?wm_name ?wm_class ?position
- ?allow_shrink ?allow_grow ?auto_shrink ?modal ?x ?y;
- Container.set w ?border_width ?width ?height;
- if show then Widget.show w;
- new font_selection_dialog w
-
-class plug (obj : Gtk.plug obj) = window obj
-
-let plug ~window:xid ?border_width ?width ?height ?(show=false) () =
- let w = Plug.create xid in
- Container.set w ?border_width ?width ?height;
- if show then Widget.show w;
- new plug w
projects / helm.git / blobdiff