@@ -58,46 +58,46 @@ Of course, you are free to modify the style to suit the desired look.
5858
5959==Widgets overview
6060
61- * <<a_api subproject="server" | Ot_buttons >>:
61+ * <<a_api subproject="server" | module Ot_buttons >>:
6262 provides a dropdown menu widget
63- * <<a_api subproject="server" | Ot_calendar >>:
63+ * <<a_api subproject="server" | module Ot_calendar >>:
6464 calendar widget, allowing the user to pick dates
65- * <<a_api subproject="server" | Ot_carousel >>:
65+ * <<a_api subproject="server" | module Ot_carousel >>:
6666 container for blocks, only one of which is displayed at a time,
6767 with various ways to move between them (buttons, swipe, keyboard arrows)
68- * <<a_api subproject="server" | Ot_drawer >>:
68+ * <<a_api subproject="server" | module Ot_drawer >>:
6969 a drawer menu that typically appears on an edge of the screen.
7070 It can appear/disappear via buttons or by swiping.
71- * <<a_api subproject="server" | Ot_picture_uploader >>:
71+ * <<a_api subproject="server" | module Ot_picture_uploader >>:
7272 user interface for uploading pictures
73- * <<a_api subproject="server" | Ot_popup >>:
73+ * <<a_api subproject="server" | module Ot_popup >>:
7474 popup windows that can be controlled in various ways
75- * <<a_api subproject="server" | Ot_range >>:
75+ * <<a_api subproject="server" | module Ot_range >>:
7676 widget for picking one among a range of values
77- * <<a_api subproject="server" | Ot_spinner >>:
77+ * <<a_api subproject="server" | module Ot_spinner >>:
7878 a spinner that appears while we wait for "slow" HTML content to be
7979 generated
80- * <<a_api subproject="server" | Ot_swipe >>:
80+ * <<a_api subproject="server" | module Ot_swipe >>:
8181 make element swipeable on touch screens
82- * <<a_api subproject="server" | Ot_time_picker >>:
82+ * <<a_api subproject="server" | module Ot_time_picker >>:
8383 clock-like widget that allows the user to pick a time
84- * <<a_api subproject="server" | Ot_toggle >>:
84+ * <<a_api subproject="server" | module Ot_toggle >>:
8585 binary toggle widget
8686
8787=== Non-widget utilities
8888
89- * <<a_api subproject="server" | Ot_nodeready >>:
89+ * <<a_api subproject="server" | module Ot_nodeready >>:
9090 produces an Lwt thread allowing one to wait for a node to be
9191 inserted in the DOM
92- * <<a_api subproject="server" | Ot_noderesize >>:
92+ * <<a_api subproject="server" | module Ot_noderesize >>:
9393 listen to element resize events
94- * <<a_api subproject="server" | Ot_size >>:
94+ * <<a_api subproject="server" | module Ot_size >>:
9595 utilities to deal with DOM element dimensions
96- * <<a_api subproject="server" | Ot_social_meta >>:
96+ * <<a_api subproject="server" | module Ot_social_meta >>:
9797 extract social meta tags from documents
98- * <<a_api subproject="server" | Ot_lib >>:
98+ * <<a_api subproject="server" | module Ot_lib >>:
9999 functions useful for other widgets
100- * <<a_api subproject="server" | Ot_sticky >>:
100+ * <<a_api subproject="server" | module Ot_sticky >>:
101101 make elements "sticky", i.e., do not let them go out of sight
102- * <<a_api subproject="server" | Ot_style >>:
102+ * <<a_api subproject="server" | module Ot_style >>:
103103 an interface to {{{Window.getComputedStyle() }}}
0 commit comments