package ojs_ed
Using file editor in ojs_base applications, common part
Install
dune-project
Dependency
Authors
Maintainers
Sources
ojs-base-0.8.0.tar.bz2
md5=e706f1f9ec2f935d29c6b6e4832c8bdf
sha512=2596f6c59bea9c6b89923099c604a0e095a96880e7e91b06357e1de50867ae7e0261c87c35f608b7e426bddd6dd025a9868c07499287116ed458de4a0b9e9f30
doc/ojs_ed.server/Ojs_ed_server/Server/Make/class-editor/index.html
Class Make.editor
Source
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
sectionYPositions = computeSectionYPositions($el), 10)"
x-init="setTimeout(() => sectionYPositions = computeSectionYPositions($el), 10)"
>