Ojsed_js (ojs_ed.Ojsed

Editor, client side

type mime_type = string

type session = {

sess_file : Ojs_base.Path.t;

sess_mime : mime_type;

sess_ace : Ojs_ace.editSession Js_of_ocaml.Js.t;

mutable sess_changed : bool;

}

module PMap = Ojs_base.Path.Map

val mk_button : string -> Js_of_ocaml.Dom_html.element Js_of_ocaml.Js.t

val is_editable_from_mime : mime_type -> bool

module type S = sig ... end

module Make (P : Ojs_ed.Types.P) : S with type P.app_server_msg = P.app_server_msg and type P.app_client_msg = P.app_client_msg and type P.server_msg = P.server_msg and type P.client_msg = P.client_msg