Module Ed_tdl (.ml)


module Ed_tdl: sig .. end
The tdl view, to edit todo lists in the format handled by the Tdl library.

class view : Ed_view.topwin -> (< add_group : unit; add_item : unit; attributes : (string * string) list;
box : GObj.widget; close : unit; copy : (unit -> unit) option;
cut : (unit -> unit) option; destroy : unit; display_filename : unit;
display_modified : unit; display_state : unit;
dup : Ed_view.topwin -> Ed_view.gui_view option; edit_selected : unit;
filename : string; grab_focus : unit;
key_bindings : (Okey.keyhit_state * string) list; kind : string;
label : string; menus : (string * GToolbox.menu_entry list) list;
my_set_label : unit; paste : (unit -> unit) option;
reload : (unit -> unit) option; save : (unit -> unit) option;
save_as : (unit -> unit) option; set_label : string -> unit;
set_on_destroy : (unit -> unit) -> unit;
set_on_focus_in : (unit -> unit) -> unit;
set_on_label_change : (string -> unit) -> unit; vbox : GPack.box; .. > ->
'a) -> ((< add_group : unit; add_item : unit; attributes : (string * string) list;
box : GObj.widget; close : unit; copy : (unit -> unit) option;
cut : (unit -> unit) option; destroy : unit; display_filename : unit;
display_modified : unit; display_state : unit;
dup : Ed_view.topwin -> Ed_view.gui_view option; edit_selected : unit;
filename : string; grab_focus : unit;
key_bindings : (Okey.keyhit_state * string) list; kind : string;
label : string; menus : (string * GToolbox.menu_entry list) list;
my_set_label : unit; paste : (unit -> unit) option;
reload : (unit -> unit) option; save : (unit -> unit) option;
save_as : (unit -> unit) option; set_label : string -> unit;
set_on_destroy : (unit -> unit) -> unit;
set_on_focus_in : (unit -> unit) -> unit;
set_on_label_change : (string -> unit) -> unit; vbox : GPack.box; .. >
as 'b) ->
unit) -> string ->
object .. end
val create_view : Ed_view.topwin -> string -> view
val open_file : Ed_view.topwin ->
Ed_view.gui_view ->
?attributes:(string * string) list ->
string -> [> `New_view of Ed_view.gui_view | `Use_view of Ed_view.gui_view ]
class factory : Ed_view.view_factory