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 (2)

Authors

  1. Z
    Zoggy <zoggy@bat8.org>

Maintainers

  1. Z
    zoggy@bat8.org

Sources

ojs-base-0.7.0.tar.bz2
md5=85b8a0746e9be8c20cf082f2573b5895
sha512=ec707820ff69ddbf9c631cf6a1c8748e82346daded1a4f73c5702128d07858f915e62d529e5fec01e99263f33eefb1586067341c058535806e0092b9d040644a

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

Class Make.editorsSource

val mutable editors : editor Ojs_js.SMap.t
method get_editor : Ojs_js.SMap.key -> editor
method get_msg_id : Ojs_js.SMap.key -> string
method handle_message : P.app_server_msg -> bool Js_of_ocaml.Js.t
method setup_editor : bar_id:string -> msg_id:string -> Ojs_js.SMap.key -> editor