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

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

Authors

Z

Zoggy <zoggy@bat8.org>

Maintainers

Z

zoggy@bat8.org

Sources

ojs-base-0.9.0.tar.bz2

md5=d1280f8b88bd6e03f62084c63027cf47

sha512=ff933d51b7a64a4d7356442284f0d992de746523fb28217d01c7d4ca0f461920b9f05d2f22ae4ba51f5a819c6b923e64b600150164ae58439b86e186d284b2ee

doc/ojs_ed.js/Ojsed_js/index.html

Module `Ojsed_js`Source

Editor, client side

Sourcetype mime_type = string

Sourcetype session = {

sess_file : Ojs_base.Path.t;
sess_mime : mime_type;
sess_ace : Ojs_ace.editSession Js_of_ocaml.Js.t;
mutable sess_changed : bool;

}

module PMap = Ojs_base.Path.Map

Sourceval mk_button : string -> Js_of_ocaml.Dom_html.element Js_of_ocaml.Js.t

Sourceval is_editable_from_mime : mime_type -> bool

Sourcemodule type S = sig ... end

Source

module Make
  (P : Ojs_ed.Types.P) : 
  S
    with type P.app_server_msg = P.app_server_msg
     and type P.app_client_msg = P.app_client_msg
     and type P.server_msg = P.server_msg
     and type P.client_msg = P.client_msg