package ojs_ed

You can search for identifiers within the package.

in-package search v0.2.0

Using file editor in ojs_base applications, common part

Install

md5=85b8a0746e9be8c20cf082f2573b5895

sha512=ec707820ff69ddbf9c631cf6a1c8748e82346daded1a4f73c5702128d07858f915e62d529e5fec01e99263f33eefb1586067341c058535806e0092b9d040644a

val mutable current : session option

val mutable sessions : session PMap.t

method changed_files : PMap.key list

method changed_sessions : session list

method display_error : string -> unit

method display_filename : session -> unit

method display_message : string -> unit

method edit_file : ?mime:mime_type -> PMap.key -> unit Lwt.t

method get_session : PMap.key -> session option

method handle_message : P.server_msg -> bool Js_of_ocaml.Js.t

method id : string

method is_editable_from_mime : mime_type -> bool

method load_from_server : session -> unit Lwt.t

method msg_id : string

method new_session : ?mime:mime_type -> PMap.key -> session

method on_changed : session -> unit

method reload : unit Lwt.t

method reload_file : session -> unit Lwt.t

method save : unit Lwt.t

method save_changed_files : unit Lwt.t

method save_file : session -> unit Lwt.t

method simple_call : ?on_ok:(unit -> unit) -> P.client_msg -> unit Lwt.t