Ojsed_js (u.ad32e81c26b19652748308075a5815fe.ojs_ed.0.7.0.doc.ojs_ed.js.Ojsed

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