package ojs_filetree

You can search for identifiers within the package.

in-package search v0.2.0

Using filetrees in ojs_base applications, common part

Install

Dune Dependency

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

Authors

Z

Zoggy <zoggy@bat8.org>

Maintainers

Z

zoggy@bat8.org

Sources

ojs-base-0.8.0.tar.bz2

md5=e706f1f9ec2f935d29c6b6e4832c8bdf

sha512=2596f6c59bea9c6b89923099c604a0e095a96880e7e91b06357e1de50867ae7e0261c87c35f608b7e426bddd6dd025a9868c07499287116ed458de4a0b9e9f30

doc/ojs_filetree.js/Ojsft_js/index.html

Module `Ojsft_js`Source

Filetree, client side

Sourcetype node_type = [

| `Dir
| `File

]

Sourcetype tree_node = {

tn_id : Ojs_js.id;
mutable tn_basename : string;
mutable tn_path : Ojs_base.Path.t;
tn_span_id : Ojs_js.id;
tn_subs_id : Ojs_js.id option;
tn_type : node_type;
mutable tn_subs : tree_node list;

}

Sourceval tree_nodes : tree_node Ojs_js.SMap.t ref

Sourceval button_bar_class : string

Sourceval button_class : string

Sourceval collapsed_class : string

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

Source

val add_button : 
  string ->
  ?cls:string ->
  string ->
  Js_of_ocaml.Dom.node Js_of_ocaml.Js.t ->
  Js_of_ocaml.Dom_html.element Js_of_ocaml.Js.t

Source

val add_button_add_dir : 
  string ->
  Js_of_ocaml.Dom.node Js_of_ocaml.Js.t ->
  Js_of_ocaml.Dom_html.element Js_of_ocaml.Js.t

Source

val add_button_delete : 
  string ->
  Js_of_ocaml.Dom.node Js_of_ocaml.Js.t ->
  Js_of_ocaml.Dom_html.element Js_of_ocaml.Js.t

Sourceval drag_class : string

Sourceval preventDefault : 'a -> unit

Sourceval stopPropagation : 'a -> unit

Source

val expand_buttons : 
  ?start:[< `Collapsed | `Expand Collapsed ] ->
  string ->
  Js_of_ocaml.Dom_html.element Js_of_ocaml.Js.t ->
  string ->
  Js_of_ocaml.Dom_html.element Js_of_ocaml.Js.t
  * Js_of_ocaml.Dom_html.element Js_of_ocaml.Js.t

Sourcemodule type S = sig ... end

Source

module Make
  (P : Ojs_filetree.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

package ojs_filetree

Install

Dune Dependency

Authors

Maintainers

Sources

doc/ojs_filetree.js/Ojsft_js/index.html

Module Ojsft_jsSource

Module `Ojsft_js`Source