Module Ed_layout (.ml)

module Ed_layout: sig .. end

Storing and loading layout of windows.

val layout_file : string Pervasives.ref

The file used to store the layout.

type layout_view = {

}

Representing a view.

type layout_contents = [ `Notebook of layout_notebook
       | `Paned of layout_paned
       | `View of layout_view ]

Representing windows and boxes used to split windows.

type layout_paned = {

	lp_orientation : [ `HORIZONTAL \| `VERTICAL ];
	`lp_position : int;`
	`lp_children : layout_contents * layout_contents;`

}
type layout_notebook = {

ln_tabs : layout_contents list;

}
type layout_window = {

	`lw_x : int;`
	`lw_y : int;`
	`lw_w : int;`
	`lw_h : int;`
	`lw_contents : layout_contents option;`

}

type layout = layout_window list

val store_layout : string -> layout -> unit

store_layout file layout stores the given layout in the given file.

val load_layout : string -> layout_window list

load_layout file loads the layout description from the given file.

val layout_of_windows : Ed_gui.gui_windows -> layout

Create a layout description from the given list of windows.

val create_windows_of_layout : layout -> unit

Create the windows and their contents from a given layout description.