Content-Security-Policy: default-src 'none' Content-Type: text/plain; charset=UTF-8 Content-Length: 8471 Content-Disposition: inline; filename="footnotes.ml" Last-Modified: Wed, 22 Jul 2026 13:12:39 GMT Expires: Sat, 19 Jul 2036 13:12:39 GMT ETag: "a3ba9cdfd8f41c072bd88114ad11ac905ab26c5f" open Brr open Js_of_ocaml module PM = Prosemirror let footNoteSpec = object%js val mutable group = Jstr.v "inline" val mutable content = Jstr.v "inline*" (* The star is very important ! *) val mutable inline = Js._true val mutable draggable = Js._true (* This makes the view treat the node as a leaf, even though it technically has content *) val mutable atom = Js._true val toDOM : (PM.Model.node Js.t -> PM.Model.domOutputSpec Js.t) Js.callback = Js.wrap_callback (fun _ -> let open PM.Model.Dom_output_spec in v "footnote" [ hole ]) val parseDOM : PM.Model.parse_rule Js.t Js.js_array Js.t Js.opt = Js.some @@ Js.array [|PM.Model.ParseRule.tag (Jstr.v "footnote")|] end let footnote_schema pm defaultSchema = let nodes = defaultSchema##.spec##.nodes and marks = defaultSchema##.spec##.marks in let specs = PM.Model.schema_spec (nodes##addToEnd (Jstr.v "footnote") (Js.Unsafe.coerce footNoteSpec)) (Some marks) None in PM.Model.schema pm specs let build_menu pm schema = let menu = PM.Example.buildMenuItems pm schema in let itemSpec = PM.Menu.menuItemSpec () in itemSpec##.title := Js.some @@ Jstr.v "Insert footnote"; itemSpec##.label := Js.some @@ Jstr.v "Footnote"; itemSpec##.select := Js.wrap_meth_callback (fun _ (state:PM.State.editor_state Js.t) -> match PM.O.get schema##.nodes "footnote" with | None -> Js._false | Some footnote_node -> let res = Js.Opt.test @@ PM.Transform.insertPoint pm state##.doc ~pos:state##.selection##.from footnote_node in Js.bool res); itemSpec##.run := Js.wrap_meth_callback (fun _this state dispatch _ _ -> match PM.O.get schema##.nodes "footnote" with | None -> () | Some footnote_node -> let from' = PM.State.selection_from state##.selection and to' = PM.State.selection_to state##.selection in let content = if state##.selection##.empty != Js._true && from'##sameParent to' = Js._true && from'##.parent##.inlineContent = Js._true then ( from'##.parent##.content##cut (from'##.parentOffset) (Js.some @@ to'##.parentOffset) ) else ( PM.Model.empty_fragment pm ) in let new_node = footnote_node##create_withFragmentContent Js.null (Js.some content) Js.null in dispatch @@ state##.tr##replaceSelectionWith new_node Js.null ); let item = PM.Menu.menu_item pm itemSpec in let _ = menu##.insertMenu##.content##push item in menu let fromOutside : bool PM.State.meta_data Js.t = PM.State.create_str_meta_data (Jstr.v "fromOutside") let footnote_view : PM.t -> PM.Model.node Js.t -> PM.View.editor_view Js.t -> (unit -> int) -> < .. > Js.t = fun pm init_node outerView get_pos -> (* These are used when the footnote is selected *) let innerView : PM.View.editor_view Js.t Js.opt ref = ref Js.null in let dispatchInner : PM.View.editor_view Js.t -> PM.State.transaction Js.t -> unit = fun view tr -> let res = view##.state##applyTransaction tr in view##updateState res##.state; let meta = Js.Optdef.get (tr##getMeta fromOutside) (fun () -> false) in if (not meta) then ( let outerTr = outerView##.state##.tr and offsetMap = PM.Transform.offset pm ((get_pos()) + 1) in res##.transactions##forEach (Js.wrap_callback @@ fun (elem:PM.State.transaction Js.t) _ _ -> elem##.steps##forEach (Js.wrap_callback @@ fun (step:PM.Transform.step Js.t) _ _ -> let _ = outerTr##step (step##map offsetMap) in () )); if (outerTr##.docChanged = Js._true) then ( outerView##dispatch outerTr) ); in object%js (_self) val mutable node: PM.Model.node Js.t = init_node (* The node's representation in the editor (empty, for now) *) val dom = El.v (Jstr.v "footnote") [] method _open = (* Append a tooltip to the outer node *) let tooltip = El.div [] ~at:At.([class' (Jstr.v "footnote-tooltip")]) in El.append_children _self##.dom [ tooltip ]; let dispatch_fn : PM.State.transaction Js.t -> unit = fun tr -> outerView##dispatch tr in let state_properties = Js.Unsa
<?xml version="1.0" encoding="utf-8"?>
<!DOCTYPE html>
<html lang="{{ DEFAULT_LANG }}" xmlns="http://www.w3.org/1999/xhtml">
<head>
  <title>{% block title %}{{ SITENAME }}{%endblock%}</title>
  <meta http-equiv="Content-Type" content="text/html; charset=utf-8" />
  <link rel="stylesheet" href="/theme/css/{{ CSS_FILE }}" type="text/css" />
  <link href="{{ SITEURL }}/feeds/all.atom.xml" type="application/atom+xml" rel="alternate" title="{{ SITENAME }} - Flux ATOM" />
  {% if tag %}
    {% if TAG_FEED_ATOM %}
    <link href="{{ SITEURL }}/{{ TAG_FEED_ATOM % tag|e|lower }}" type="application/atom+xml" rel="alternate" title="{{ SITENAME }} » {{ tag|e }} - Flux ATOM" />
    {% endif %}
    {% if TAG_FEED_RSS %}
    <link href="{{ SITEURL }}/{{ TAG_FEED_RSS % tag|e|lower }}" type="application/rss+xml" rel="alternate" title="{{ SITENAME }} » {{ tag }} - Flux RSS" />
    {% endif %}
  {% endif %}

  {% if category  %}
    {% if CATEGORY_FEED_ATOM %}
    <link href="{{ SITEURL }}/{{ CATEGORY_FEED_ATOM % category|lower }}" type="application/atom+xml" rel="alternate" title="{{ SITENAME }} » {{ category|e }} - Flux ATOM" />
    {% endif %}
    {% if CATEGORY_FEED_RSS %}
    <link href="{{ SITEURL }}/{{ CATEGORY_FEED_RSS % category|lower }}" type="application/rss+xml" rel="alternate" title="{{ SITENAME }} » {{ category|e }} - Flux RSS" />
    {% endif %}
  {% endif %}

  {% if GOOGLE_ANALYTICS %}
  <script type="text/javascript">
    var gaJsHost = (("https:" == document.location.protocol) ? "https://ssl." : "http://www.");
    document.write(unescape("%3Cscript src='" + gaJsHost + "google-analytics.com/ga.js' type='text/javascript'%3E%3C/script%3E"));
    </script>
    <script type="text/javascript">
    try {
        var pageTracker = _gat._getTracker("{{GOOGLE_ANALYTICS}}");
    pageTracker._trackPageview();
    } catch(err) {}</script>
  {% endif %}
</head>
<body>
<div id="page">

{% include 'header.html' %}
{% include 'menu.html' %}

  <section id="content">
{% block content %}
{% endblock %}
  </section> <!-- /#content -->

  <footer id="footer">
    <p>Propulsé par <a href="http://getpelican.com/">Pelican</a>.</p>
  </footer>
</div> <!-- /#page -->
</body>
</html>
generated by cgit v1.2.3 (git 2.46.0) at 2026-07-22 13:12:39 +0000