this repo has no description
0
fork

Configure Feed

Select the types of activity you want to include in your feed.

Fix widget-leaflet demo: open Widget_leaflet for Leaflet_map access

The js_top_worker-widget-leaflet library is wrapped, so #require
only registers Widget_leaflet as a toplevel module. Leaflet_map
is a submodule and needs open Widget_leaflet to be in scope.

Co-Authored-By: Claude Opus 4.6 (1M context) <noreply@anthropic.com>

+2 -1
+2 -1
doc/js_top_worker-widget-leaflet/index.mld
··· 11 11 12 12 {@ocaml kind=setup[ 13 13 #require "js_top_worker-widget-leaflet";; 14 - Widget_leaflet.register ();; 14 + open Widget_leaflet;; 15 + register ();; 15 16 ]} 16 17 17 18 {@ocaml x[