package ojs_filetree
Using filetrees in ojs_base applications, common part
Install
Dune Dependency
Authors
Maintainers
Sources
ojs-base-0.7.0.tar.bz2
md5=85b8a0746e9be8c20cf082f2573b5895
sha512=ec707820ff69ddbf9c631cf6a1c8748e82346daded1a4f73c5702128d07858f915e62d529e5fec01e99263f33eefb1586067341c058535806e0092b9d040644a
doc/ojs_filetree.server/Ojs_filetree_server/Server/Make/class-filetrees/index.html
Class Make.filetrees
Source
val mutable filetrees : filetree Ojs_server.Server.SMap.t
method add_filetree : id:Ojs_server.Server.SMap.key ->
Ojs_base.Path.t ->
filetree
method filetree : Ojs_server.Server.SMap.key -> filetree
method handle_call : (P.app_server_msg -> unit Lwt.t) ->
P.app_client_msg ->
unit Lwt.t
method handle_message : (P.app_server_msg -> unit Lwt.t) ->
P.app_client_msg ->
unit Lwt.t
sectionYPositions = computeSectionYPositions($el), 10)"
x-init="setTimeout(() => sectionYPositions = computeSectionYPositions($el), 10)"
>