package ojs_filetree
Using filetrees in ojs_base applications, common part
Install
Dune Dependency
Authors
Maintainers
Sources
ojs-base-0.8.0.tar.bz2
md5=e706f1f9ec2f935d29c6b6e4832c8bdf
sha512=2596f6c59bea9c6b89923099c604a0e095a96880e7e91b06357e1de50867ae7e0261c87c35f608b7e426bddd6dd025a9868c07499287116ed458de4a0b9e9f30
doc/ojs_filetree.js/Ojsft_js/Make/class-trees/index.html
Class Make.trees
Source
val mutable trees : tree Ojs_js.SMap.t
method get_msg_id : Ojs_js.SMap.key -> string
method get_tree : Ojs_js.SMap.key -> tree
method handle_message : P.app_server_msg -> bool Js_of_ocaml.Js.t
method setup_filetree : msg_id:string -> Ojs_js.SMap.key -> tree
sectionYPositions = computeSectionYPositions($el), 10)"
x-init="setTimeout(() => sectionYPositions = computeSectionYPositions($el), 10)"
>