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.9.0.tar.bz2
md5=d1280f8b88bd6e03f62084c63027cf47
sha512=ff933d51b7a64a4d7356442284f0d992de746523fb28217d01c7d4ca0f461920b9f05d2f22ae4ba51f5a819c6b923e64b600150164ae58439b86e186d284b2ee

doc/ojs_ed.server/Ojs_ed_server/Server/Make/class-editor/index.html

Class Make.editorSource

method can_read_file : string -> bool
method can_write_file : string -> bool
method handle_call : (P.server_msg -> unit Lwt.t) -> P.client_msg -> unit Lwt.t
method handle_get_file_contents : (P.server_msg -> unit Lwt.t) -> Ojs_ed.Types.path -> unit Lwt.t
method handle_message : (P.server_msg -> unit Lwt.t) -> P.client_msg -> unit Lwt.t
method handle_save_file : (P.server_msg -> unit Lwt.t) -> Ojs_ed.Types.path -> string -> unit Lwt.t
method id : string
method root : Ojs_base.Path.t