package ojs_ed

  1. Overview
  2. Docs
Using file editor in ojs_base applications, common part

Install 

dune-project
 Dependency

zoggy.frama.io Readme Edit opam file Versions (3)

Authors

  1. Z
    Zoggy <zoggy@bat8.org>

Maintainers

  1. Z
    zoggy@bat8.org

Sources

ojs-base-0.8.0.tar.bz2
md5=e706f1f9ec2f935d29c6b6e4832c8bdf
sha512=2596f6c59bea9c6b89923099c604a0e095a96880e7e91b06357e1de50867ae7e0261c87c35f608b7e426bddd6dd025a9868c07499287116ed458de4a0b9e9f30

doc/ojs_ed.js/Ojsed_js/Make/class-editor/index.html

Class Make.editorSource

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