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

dune-project

Dependency

md5=e706f1f9ec2f935d29c6b6e4832c8bdf

sha512=2596f6c59bea9c6b89923099c604a0e095a96880e7e91b06357e1de50867ae7e0261c87c35f608b7e426bddd6dd025a9868c07499287116ed458de4a0b9e9f30

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