updated docs

diff --git a/docs/Buf.Cursor.html b/docs/Buf.Cursor.html
index f55b43bac11c95e8eaebaa733b6ed7a4c32fcd91..2952d512d923bcb7ea87d72df8db4ac0b6daaeec 100644 (file)
--- a/docs/Buf.Cursor.html
+++ b/docs/Buf.Cursor.html
@@ -24,7 +24,7 @@
 &nbsp;</div>
 <h1>Module <a href="type_Buf.Cursor.html">Buf.Cursor</a></h1>
 
-<pre><span class="keyword">module</span> Cursor: <code class="code">sig</code> <a href="Buf.Cursor.html">..</a> <code class="code">end</code></pre><hr width="100%">
+<pre><span id="MODULECursor"><span class="keyword">module</span> Cursor</span>: <code class="code">sig</code> <a href="Buf.Cursor.html">..</a> <code class="code">end</code></pre><hr width="100%">
 
 <pre><code><span id="TYPEcsr"><span class="keyword">type</span> <code class="type"></code>csr</span> = {</code></pre><table class="typetable">
 <tr>

diff --git a/docs/Buf.html b/docs/Buf.html
index fef0b3986c931c2906465084f23714bb2a805277..2b5147f9e7be80a1ad45392ba8753c4902598854 100644 (file)
--- a/docs/Buf.html
+++ b/docs/Buf.html
@@ -28,7 +28,7 @@
 </div>
 <h1>Module <a href="type_Buf.html">Buf</a></h1>
 
-<pre><span class="keyword">module</span> Buf: <code class="code">sig</code> <a href="Buf.html">..</a> <code class="code">end</code></pre><hr width="100%">
+<pre><span id="MODULEBuf"><span class="keyword">module</span> Buf</span>: <code class="code">sig</code> <a href="Buf.html">..</a> <code class="code">end</code></pre><hr width="100%">
 
 <pre><code><span id="TYPEbuf"><span class="keyword">type</span> <code class="type"></code>buf</span> = {</code></pre><table class="typetable">
 <tr>
@@ -104,7 +104,7 @@
 <pre><span id="VALlength"><span class="keyword">val</span> length</span> : <code class="type"><a href="Buf.html#TYPEbuf">buf</a> -> int</code></pre>
 <pre><span id="VALiteri"><span class="keyword">val</span> iteri</span> : <code class="type">(int -> <a href="Rope.html#TYPErune">Rope.rune</a> -> bool) -> <a href="Buf.html#TYPEbuf">buf</a> -> int -> unit</code></pre>
 <pre><span id="VALiter"><span class="keyword">val</span> iter</span> : <code class="type">(<a href="Rope.html#TYPErune">Rope.rune</a> -> bool) -> <a href="Buf.html#TYPEbuf">buf</a> -> int -> unit</code></pre>
-<pre><span class="keyword">module</span> <a href="Buf.Cursor.html">Cursor</a>: <code class="code">sig</code> <a href="Buf.Cursor.html">..</a> <code class="code">end</code></pre>
+<pre><span id="MODULECursor"><span class="keyword">module</span> <a href="Buf.Cursor.html">Cursor</a></span>: <code class="code">sig</code> <a href="Buf.Cursor.html">..</a> <code class="code">end</code></pre>
 <pre><span id="VALmove_to"><span class="keyword">val</span> move_to</span> : <code class="type"><a href="Buf.html#TYPEdest">dest</a> -> <a href="Buf.html#TYPEbuf">buf</a> -> int -> int</code></pre>
 <pre><span id="VALnextc"><span class="keyword">val</span> nextc</span> : <code class="type"><a href="Buf.html#TYPEbuf">buf</a> -> int -> int</code></pre>
 <pre><span id="VALprevc"><span class="keyword">val</span> prevc</span> : <code class="type"><a href="Buf.html#TYPEbuf">buf</a> -> int -> int</code></pre>

diff --git a/docs/Cfg.Color.Syntax.html b/docs/Cfg.Color.Syntax.html
index 4e24f31169fa1af07383b6d34dcc63c2e9d7ebf4..1d69c7a67b9fc10605bbe7f190dbe37610187aed 100644 (file)
--- a/docs/Cfg.Color.Syntax.html
+++ b/docs/Cfg.Color.Syntax.html
@@ -24,7 +24,7 @@
 &nbsp;</div>
 <h1>Module <a href="type_Cfg.Color.Syntax.html">Cfg.Color.Syntax</a></h1>
 
-<pre><span class="keyword">module</span> Syntax: <code class="code">sig</code> <a href="Cfg.Color.Syntax.html">..</a> <code class="code">end</code></pre><hr width="100%">
+<pre><span id="MODULESyntax"><span class="keyword">module</span> Syntax</span>: <code class="code">sig</code> <a href="Cfg.Color.Syntax.html">..</a> <code class="code">end</code></pre><hr width="100%">
 
 <pre><span id="VALnormal"><span class="keyword">val</span> normal</span> : <code class="type">int</code></pre>
 <pre><span id="VALcomment"><span class="keyword">val</span> comment</span> : <code class="type">int</code></pre>

diff --git a/docs/Cfg.Color.html b/docs/Cfg.Color.html
index 71da95216e8e90e3ce6df16e2f7c34c460223fc7..0ae0ac9aa131c0ff5e907fae0bf488007ec0b2a3 100644 (file)
--- a/docs/Cfg.Color.html
+++ b/docs/Cfg.Color.html
@@ -24,7 +24,7 @@
 &nbsp;</div>
 <h1>Module <a href="type_Cfg.Color.html">Cfg.Color</a></h1>
 
-<pre><span class="keyword">module</span> Color: <code class="code">sig</code> <a href="Cfg.Color.html">..</a> <code class="code">end</code></pre><hr width="100%">
+<pre><span id="MODULEColor"><span class="keyword">module</span> Color</span>: <code class="code">sig</code> <a href="Cfg.Color.html">..</a> <code class="code">end</code></pre><hr width="100%">
 
 <pre><span id="VALpalette"><span class="keyword">val</span> palette</span> : <code class="type">int array</code></pre>
 <pre><span id="VALscroll_nor"><span class="keyword">val</span> scroll_nor</span> : <code class="type">int * int</code></pre>
@@ -39,4 +39,4 @@
 <pre><span id="VALedit_csr"><span class="keyword">val</span> edit_csr</span> : <code class="type">int</code></pre>
 <pre><span id="VALedit_rul"><span class="keyword">val</span> edit_rul</span> : <code class="type">int</code></pre>
 <pre><span id="VALborders"><span class="keyword">val</span> borders</span> : <code class="type">int * int</code></pre>
-<pre><span class="keyword">module</span> <a href="Cfg.Color.Syntax.html">Syntax</a>: <code class="code">sig</code> <a href="Cfg.Color.Syntax.html">..</a> <code class="code">end</code></pre></body></html>
\ No newline at end of file
+<pre><span id="MODULESyntax"><span class="keyword">module</span> <a href="Cfg.Color.Syntax.html">Syntax</a></span>: <code class="code">sig</code> <a href="Cfg.Color.Syntax.html">..</a> <code class="code">end</code></pre></body></html>
\ No newline at end of file

diff --git a/docs/Cfg.html b/docs/Cfg.html
index 6a81cb1bc3cd658194acee129428c6ff4881c7d8..b566741c6684651f3ac6520a93bd7c3b12da073b 100644 (file)
--- a/docs/Cfg.html
+++ b/docs/Cfg.html
@@ -28,7 +28,7 @@
 </div>
 <h1>Module <a href="type_Cfg.html">Cfg</a></h1>
 
-<pre><span class="keyword">module</span> Cfg: <code class="code">sig</code> <a href="Cfg.html">..</a> <code class="code">end</code></pre><hr width="100%">
+<pre><span id="MODULECfg"><span class="keyword">module</span> Cfg</span>: <code class="code">sig</code> <a href="Cfg.html">..</a> <code class="code">end</code></pre><hr width="100%">
 
 <pre><span id="VALboolvar"><span class="keyword">val</span> boolvar</span> : <code class="type">string -> bool -> bool</code></pre>
 <pre><span id="VALintvar"><span class="keyword">val</span> intvar</span> : <code class="type">string -> int -> int</code></pre>
@@ -51,4 +51,4 @@
 <pre><span id="VALscroll_lines"><span class="keyword">val</span> scroll_lines</span> : <code class="type">int</code></pre>
 <pre><span id="VALdbl_click_time"><span class="keyword">val</span> dbl_click_time</span> : <code class="type">int</code></pre>
 <pre><span id="VALmax_scan_dist"><span class="keyword">val</span> max_scan_dist</span> : <code class="type">int</code></pre>
-<pre><span class="keyword">module</span> <a href="Cfg.Color.html">Color</a>: <code class="code">sig</code> <a href="Cfg.Color.html">..</a> <code class="code">end</code></pre></body></html>
\ No newline at end of file
+<pre><span id="MODULEColor"><span class="keyword">module</span> <a href="Cfg.Color.html">Color</a></span>: <code class="code">sig</code> <a href="Cfg.Color.html">..</a> <code class="code">end</code></pre></body></html>
\ No newline at end of file

diff --git a/docs/Draw.Cursor.html b/docs/Draw.Cursor.html
index 6dd4c398ac2dedc1cbc8c42a5ec5d4d404c42950..425675f1fffc38ad288ef2902b19f19ed58a6fa0 100644 (file)
--- a/docs/Draw.Cursor.html
+++ b/docs/Draw.Cursor.html
@@ -24,7 +24,7 @@
 &nbsp;</div>
 <h1>Module <a href="type_Draw.Cursor.html">Draw.Cursor</a></h1>
 
-<pre><span class="keyword">module</span> Cursor: <code class="code">sig</code> <a href="Draw.Cursor.html">..</a> <code class="code">end</code></pre><hr width="100%">
+<pre><span id="MODULECursor"><span class="keyword">module</span> Cursor</span>: <code class="code">sig</code> <a href="Draw.Cursor.html">..</a> <code class="code">end</code></pre><hr width="100%">
 
 <pre><code><span id="TYPEt"><span class="keyword">type</span> <code class="type"></code>t</span> = {</code></pre><table class="typetable">
 <tr>

diff --git a/docs/Draw.html b/docs/Draw.html
index 92f03a4cae7cfe7babb22e766f4c967eebfe34e8..409af292ac835758d4b164e0c9fb9f64f6459282 100644 (file)
--- a/docs/Draw.html
+++ b/docs/Draw.html
@@ -28,14 +28,14 @@
 </div>
 <h1>Module <a href="type_Draw.html">Draw</a></h1>
 
-<pre><span class="keyword">module</span> Draw: <code class="code">sig</code> <a href="Draw.html">..</a> <code class="code">end</code></pre><hr width="100%">
+<pre><span id="MODULEDraw"><span class="keyword">module</span> Draw</span>: <code class="code">sig</code> <a href="Draw.html">..</a> <code class="code">end</code></pre><hr width="100%">
 
 <pre><span id="VALfont"><span class="keyword">val</span> font</span> : <code class="type"><a href="X11.html#TYPEfont">X11.font</a></code></pre>
 <pre><span id="VALfont_height"><span class="keyword">val</span> font_height</span> : <code class="type">int</code></pre>
 <pre><span id="VALtabglyph"><span class="keyword">val</span> tabglyph</span> : <code class="type">int</code></pre>
 <pre><span id="VALtabwidth"><span class="keyword">val</span> tabwidth</span> : <code class="type">int</code></pre>
 <pre><span id="VALglyph_width"><span class="keyword">val</span> glyph_width</span> : <code class="type"><a href="X11.html#TYPEglyph">X11.glyph</a> -> int</code></pre>
-<pre><span class="keyword">module</span> <a href="Draw.Cursor.html">Cursor</a>: <code class="code">sig</code> <a href="Draw.Cursor.html">..</a> <code class="code">end</code></pre>
+<pre><span id="MODULECursor"><span class="keyword">module</span> <a href="Draw.Cursor.html">Cursor</a></span>: <code class="code">sig</code> <a href="Draw.Cursor.html">..</a> <code class="code">end</code></pre>
 <pre><span id="VALrectangle"><span class="keyword">val</span> rectangle</span> : <code class="type">int -> int -> int -> <a href="Draw.Cursor.html#TYPEt">Cursor.t</a> -> unit</code></pre>
 <pre><span id="VALdark_bkg"><span class="keyword">val</span> dark_bkg</span> : <code class="type">int -> int -> <a href="Draw.Cursor.html#TYPEt">Cursor.t</a> -> unit</code></pre>
 <pre><span id="VALlight_bkg"><span class="keyword">val</span> light_bkg</span> : <code class="type">int -> int -> <a href="Draw.Cursor.html#TYPEt">Cursor.t</a> -> unit</code></pre>

diff --git a/docs/Misc.html b/docs/Misc.html
index 3f975b489d66e6e0e471a023394f23affe9c6bb1..287bd85b5c3c0f2097cdd3523e4449ee916c1049 100644 (file)
--- a/docs/Misc.html
+++ b/docs/Misc.html
@@ -26,6 +26,6 @@
 </div>
 <h1>Module <a href="type_Misc.html">Misc</a></h1>
 
-<pre><span class="keyword">module</span> Misc: <code class="code">sig</code> <a href="Misc.html">..</a> <code class="code">end</code></pre><hr width="100%">
+<pre><span id="MODULEMisc"><span class="keyword">module</span> Misc</span>: <code class="code">sig</code> <a href="Misc.html">..</a> <code class="code">end</code></pre><hr width="100%">
 
 <pre><span id="VALload_file"><span class="keyword">val</span> load_file</span> : <code class="type">string -> string</code></pre></body></html>
\ No newline at end of file

diff --git a/docs/Rope.html b/docs/Rope.html
index bbaca59c3ebc207a557209cbeccae756cd3c7372..6b235d13f7a385a87c65a99a63df2118c1c8c4f7 100644 (file)
--- a/docs/Rope.html
+++ b/docs/Rope.html
@@ -28,7 +28,7 @@
 </div>
 <h1>Module <a href="type_Rope.html">Rope</a></h1>
 
-<pre><span class="keyword">module</span> Rope: <code class="code">sig</code> <a href="Rope.html">..</a> <code class="code">end</code></pre><hr width="100%">
+<pre><span id="MODULERope"><span class="keyword">module</span> Rope</span>: <code class="code">sig</code> <a href="Rope.html">..</a> <code class="code">end</code></pre><hr width="100%">
 
 <pre><span id="EXCEPTIONOut_of_bounds"><span class="keyword">exception</span> Out_of_bounds</span> <span class="keyword">of</span> <code class="type">string</code></pre>
 

diff --git a/docs/Scrollmap.html b/docs/Scrollmap.html
index be5b11d78ff425523cf6d0de1cf9a5f601bf6425..36b4e014f4a90dcb03e3d913ef8440a85040bcc4 100644 (file)
--- a/docs/Scrollmap.html
+++ b/docs/Scrollmap.html
@@ -28,7 +28,7 @@
 </div>
 <h1>Module <a href="type_Scrollmap.html">Scrollmap</a></h1>
 
-<pre><span class="keyword">module</span> Scrollmap: <code class="code">sig</code> <a href="Scrollmap.html">..</a> <code class="code">end</code></pre><hr width="100%">
+<pre><span id="MODULEScrollmap"><span class="keyword">module</span> Scrollmap</span>: <code class="code">sig</code> <a href="Scrollmap.html">..</a> <code class="code">end</code></pre><hr width="100%">
 
 <pre><code><span id="TYPEt"><span class="keyword">type</span> <code class="type"></code>t</span> = {</code></pre><table class="typetable">
 <tr>

diff --git a/docs/View.html b/docs/View.html
index 2d6e1faabe18970e3fd0f72483616edc9a5716f0..2ad94d52621b36ea7808fcf2b7cda1a307118f46 100644 (file)
--- a/docs/View.html
+++ b/docs/View.html
@@ -26,7 +26,7 @@
 &nbsp;</div>
 <h1>Module <a href="type_View.html">View</a></h1>
 
-<pre><span class="keyword">module</span> View: <code class="code">sig</code> <a href="View.html">..</a> <code class="code">end</code></pre><hr width="100%">
+<pre><span id="MODULEView"><span class="keyword">module</span> View</span>: <code class="code">sig</code> <a href="View.html">..</a> <code class="code">end</code></pre><hr width="100%">
 
 <pre><code><span id="TYPEt"><span class="keyword">type</span> <code class="type"></code>t</span> = {</code></pre><table class="typetable">
 <tr>

diff --git a/docs/X11.GlyphMap.html b/docs/X11.GlyphMap.html
index e94cdda8ab0d67d8791e1850ede5bb72df329b02..a603a14dec7f797c6152bf36dd9bf66a8c3b3a99 100644 (file)
--- a/docs/X11.GlyphMap.html
+++ b/docs/X11.GlyphMap.html
@@ -26,5 +26,5 @@
 &nbsp;</div>
 <h1>Module <a href="type_X11.GlyphMap.html">X11.GlyphMap</a></h1>
 
-<pre><span class="keyword">module</span> GlyphMap: <code class="type">Map.Make</code><code class="code">(</code><code class="type"><a href="X11.Rune.html">Rune</a></code><code class="code">)</code></pre><hr width="100%">
+<pre><span id="MODULEGlyphMap"><span class="keyword">module</span> GlyphMap</span>: <code class="type">Map.Make</code><code class="code">(</code><code class="type"><a href="X11.Rune.html">Rune</a></code><code class="code">)</code></pre><hr width="100%">
 </body></html>
\ No newline at end of file

diff --git a/docs/X11.Rune.html b/docs/X11.Rune.html
index 2a9f928497433a573ab3afa24aaea8b8adbe326f..38c5d18a5376bcbaba09c149bfe557f3e46984f4 100644 (file)
--- a/docs/X11.Rune.html
+++ b/docs/X11.Rune.html
@@ -26,7 +26,7 @@
 </div>
 <h1>Module <a href="type_X11.Rune.html">X11.Rune</a></h1>
 
-<pre><span class="keyword">module</span> Rune: <code class="code">sig</code> <a href="X11.Rune.html">..</a> <code class="code">end</code></pre><hr width="100%">
+<pre><span id="MODULERune"><span class="keyword">module</span> Rune</span>: <code class="code">sig</code> <a href="X11.Rune.html">..</a> <code class="code">end</code></pre><hr width="100%">
 
 <pre><span id="TYPEt"><span class="keyword">type</span> <code class="type"></code>t</span> = <code class="type">int</code> </pre>
 

diff --git a/docs/X11.html b/docs/X11.html
index 62712732426f7c47a4def2970393d27445a27ae6..dc39ef4896d623a95ca2148c30165a366d61dc1b 100644 (file)
--- a/docs/X11.html
+++ b/docs/X11.html
@@ -28,7 +28,7 @@
 </div>
 <h1>Module <a href="type_X11.html">X11</a></h1>
 
-<pre><span class="keyword">module</span> X11: <code class="code">sig</code> <a href="X11.html">..</a> <code class="code">end</code></pre><hr width="100%">
+<pre><span id="MODULEX11"><span class="keyword">module</span> X11</span>: <code class="code">sig</code> <a href="X11.html">..</a> <code class="code">end</code></pre><hr width="100%">
 
 <pre><span id="TYPExatom"><span class="keyword">type</span> <code class="type"></code>xatom</span> </pre>
 
@@ -456,8 +456,8 @@
 
 
 
-<pre><span class="keyword">module</span> <a href="X11.Rune.html">Rune</a>: <code class="code">sig</code> <a href="X11.Rune.html">..</a> <code class="code">end</code></pre>
-<pre><span class="keyword">module</span> <a href="X11.GlyphMap.html">GlyphMap</a>: <code class="type">Map.Make</code><code class="code">(</code><code class="type"><a href="X11.Rune.html">Rune</a></code><code class="code">)</code></pre>
+<pre><span id="MODULERune"><span class="keyword">module</span> <a href="X11.Rune.html">Rune</a></span>: <code class="code">sig</code> <a href="X11.Rune.html">..</a> <code class="code">end</code></pre>
+<pre><span id="MODULEGlyphMap"><span class="keyword">module</span> <a href="X11.GlyphMap.html">GlyphMap</a></span>: <code class="type">Map.Make</code><code class="code">(</code><code class="type"><a href="X11.Rune.html">Rune</a></code><code class="code">)</code></pre>
 <pre><span id="VALconnect"><span class="keyword">val</span> connect</span> : <code class="type">unit -> unit</code></pre>
 <pre><span id="VALdisconnect"><span class="keyword">val</span> disconnect</span> : <code class="type">unit -> unit</code></pre>
 <pre><span id="VALmake_window"><span class="keyword">val</span> make_window</span> : <code class="type">int -> int -> <a href="X11.html#TYPExwin">xwin</a></code></pre>

diff --git a/docs/index.html b/docs/index.html
index d21b245527f9de922ebe21595f00cfa14dbe8667..6cfc26cf7de6baa7c72c6f21a0677e363068294a 100644 (file)
--- a/docs/index.html
+++ b/docs/index.html
@@ -19,15 +19,16 @@
 <link title="View" rel="Chapter" href="View.html"><title></title>
 </head>
 <body>
-<h1></h1>
+<div class = "index-list">
 <ul class="indexlist">
 <li><a href="index_types.html">Index of types</a></li>
 <li><a href="index_exceptions.html">Index of exceptions</a></li>
 <li><a href="index_values.html">Index of values</a></li>
 <li><a href="index_modules.html">Index of modules</a></li>
 </ul>
-<br/><br>
-<table class="indextable">
+</div>
+
+<table class="indextable module-list">
 <tr><td class="module"><a href="Misc.html">Misc</a></td><td></td></tr>
 <tr><td class="module"><a href="X11.html">X11</a></td><td></td></tr>
 <tr><td class="module"><a href="Cfg.html">Cfg</a></td><td></td></tr>

diff --git a/docs/index_exceptions.html b/docs/index_exceptions.html
index b674928e245a7328ac5053b29c0960967eda9c07..63563392b5afe0d186dbd0ad395d375029bc806d 100644 (file)
--- a/docs/index_exceptions.html
+++ b/docs/index_exceptions.html
@@ -22,10 +22,10 @@
 &nbsp;</div>
 <h1>Index of exceptions</h1>
 <table>
-<tr><td align="left"><br>B</td></tr>
+<tr><td align="left"><div>B</div></td></tr>
 <tr><td><a href="Rope.html#EXCEPTIONBad_rotation">Bad_rotation</a> [<a href="Rope.html">Rope</a>]</td>
 <td></td></tr>
-<tr><td align="left"><br>O</td></tr>
+<tr><td align="left"><div>O</div></td></tr>
 <tr><td><a href="Rope.html#EXCEPTIONOut_of_bounds">Out_of_bounds</a> [<a href="Rope.html">Rope</a>]</td>
 <td></td></tr>
 </table>

diff --git a/docs/index_modules.html b/docs/index_modules.html
index 1407eb69c71d51268e623fc567f1c9dd07684dc1..d23f065697cfafdf39ded55d4ada1246c468171f 100644 (file)
--- a/docs/index_modules.html
+++ b/docs/index_modules.html
@@ -22,10 +22,10 @@
 &nbsp;</div>
 <h1>Index of modules</h1>
 <table>
-<tr><td align="left"><br>B</td></tr>
+<tr><td align="left"><div>B</div></td></tr>
 <tr><td><a href="Buf.html">Buf</a> </td>
 <td></td></tr>
-<tr><td align="left"><br>C</td></tr>
+<tr><td align="left"><div>C</div></td></tr>
 <tr><td><a href="Cfg.html">Cfg</a> </td>
 <td></td></tr>
 <tr><td><a href="Cfg.Color.html">Color</a> [<a href="Cfg.html">Cfg</a>]</td>
@@ -34,29 +34,29 @@
 <td></td></tr>
 <tr><td><a href="Buf.Cursor.html">Cursor</a> [<a href="Buf.html">Buf</a>]</td>
 <td></td></tr>
-<tr><td align="left"><br>D</td></tr>
+<tr><td align="left"><div>D</div></td></tr>
 <tr><td><a href="Draw.html">Draw</a> </td>
 <td></td></tr>
-<tr><td align="left"><br>G</td></tr>
+<tr><td align="left"><div>G</div></td></tr>
 <tr><td><a href="X11.GlyphMap.html">GlyphMap</a> [<a href="X11.html">X11</a>]</td>
 <td></td></tr>
-<tr><td align="left"><br>M</td></tr>
+<tr><td align="left"><div>M</div></td></tr>
 <tr><td><a href="Misc.html">Misc</a> </td>
 <td></td></tr>
-<tr><td align="left"><br>R</td></tr>
+<tr><td align="left"><div>R</div></td></tr>
 <tr><td><a href="Rope.html">Rope</a> </td>
 <td></td></tr>
 <tr><td><a href="X11.Rune.html">Rune</a> [<a href="X11.html">X11</a>]</td>
 <td></td></tr>
-<tr><td align="left"><br>S</td></tr>
+<tr><td align="left"><div>S</div></td></tr>
 <tr><td><a href="Scrollmap.html">Scrollmap</a> </td>
 <td></td></tr>
 <tr><td><a href="Cfg.Color.Syntax.html">Syntax</a> [<a href="Cfg.Color.html">Cfg.Color</a>]</td>
 <td></td></tr>
-<tr><td align="left"><br>V</td></tr>
+<tr><td align="left"><div>V</div></td></tr>
 <tr><td><a href="View.html">View</a> </td>
 <td></td></tr>
-<tr><td align="left"><br>X</td></tr>
+<tr><td align="left"><div>X</div></td></tr>
 <tr><td><a href="X11.html">X11</a> </td>
 <td></td></tr>
 </table>

diff --git a/docs/index_types.html b/docs/index_types.html
index c9e1ebc5d23aa9cf27bcf8abf8d8857167349497..8e000521f52655fa8f932889c88943f976da4205 100644 (file)
--- a/docs/index_types.html
+++ b/docs/index_types.html
@@ -22,27 +22,27 @@
 &nbsp;</div>
 <h1>Index of types</h1>
 <table>
-<tr><td align="left"><br>B</td></tr>
+<tr><td align="left"><div>B</div></td></tr>
 <tr><td><a href="Buf.html#TYPEbuf">buf</a> [<a href="Buf.html">Buf</a>]</td>
 <td></td></tr>
-<tr><td align="left"><br>C</td></tr>
+<tr><td align="left"><div>C</div></td></tr>
 <tr><td><a href="Buf.Cursor.html#TYPEcsr">csr</a> [<a href="Buf.Cursor.html">Buf.Cursor</a>]</td>
 <td></td></tr>
-<tr><td align="left"><br>D</td></tr>
+<tr><td align="left"><div>D</div></td></tr>
 <tr><td><a href="Buf.html#TYPEdest">dest</a> [<a href="Buf.html">Buf</a>]</td>
 <td></td></tr>
-<tr><td align="left"><br>F</td></tr>
+<tr><td align="left"><div>F</div></td></tr>
 <tr><td><a href="X11.html#TYPEfont">font</a> [<a href="X11.html">X11</a>]</td>
 <td></td></tr>
-<tr><td align="left"><br>G</td></tr>
+<tr><td align="left"><div>G</div></td></tr>
 <tr><td><a href="X11.html#TYPEglyph">glyph</a> [<a href="X11.html">X11</a>]</td>
 <td></td></tr>
-<tr><td align="left"><br>R</td></tr>
+<tr><td align="left"><div>R</div></td></tr>
 <tr><td><a href="Rope.html#TYPErope">rope</a> [<a href="Rope.html">Rope</a>]</td>
 <td></td></tr>
 <tr><td><a href="Rope.html#TYPErune">rune</a> [<a href="Rope.html">Rope</a>]</td>
 <td></td></tr>
-<tr><td align="left"><br>T</td></tr>
+<tr><td align="left"><div>T</div></td></tr>
 <tr><td><a href="View.html#TYPEt">t</a> [<a href="View.html">View</a>]</td>
 <td></td></tr>
 <tr><td><a href="Scrollmap.html#TYPEt">t</a> [<a href="Scrollmap.html">Scrollmap</a>]</td>
@@ -57,7 +57,7 @@
 <td></td></tr>
 <tr><td><a href="X11.Rune.html#TYPEt">t</a> [<a href="X11.Rune.html">X11.Rune</a>]</td>
 <td></td></tr>
-<tr><td align="left"><br>X</td></tr>
+<tr><td align="left"><div>X</div></td></tr>
 <tr><td><a href="X11.html#TYPExatom">xatom</a> [<a href="X11.html">X11</a>]</td>
 <td></td></tr>
 <tr><td><a href="X11.html#TYPExcfgvar">xcfgvar</a> [<a href="X11.html">X11</a>]</td>

diff --git a/docs/index_values.html b/docs/index_values.html
index 5942db18b9982a420d0ba4838f24343a33b986c0..9bd4278fc3eda1e8142b8490e743781e9d4906a1 100644 (file)
--- a/docs/index_values.html
+++ b/docs/index_values.html
@@ -22,7 +22,7 @@
 &nbsp;</div>
 <h1>Index of values</h1>
 <table>
-<tr><td align="left"><br>B</td></tr>
+<tr><td align="left"><div>B</div></td></tr>
 <tr><td><a href="Buf.Cursor.html#VALbol">bol</a> [<a href="Buf.Cursor.html">Buf.Cursor</a>]</td>
 <td></td></tr>
 <tr><td><a href="Buf.html#VALbol">bol</a> [<a href="Buf.html">Buf</a>]</td>
@@ -35,7 +35,7 @@
 <td></td></tr>
 <tr><td><a href="Draw.html#VALbuffer">buffer</a> [<a href="Draw.html">Draw</a>]</td>
 <td></td></tr>
-<tr><td align="left"><br>C</td></tr>
+<tr><td align="left"><div>C</div></td></tr>
 <tr><td><a href="X11.html#VALcache_update">cache_update</a> [<a href="X11.html">X11</a>]</td>
 <td></td></tr>
 <tr><td><a href="Cfg.Color.Syntax.html#VALchar">char</a> [<a href="Cfg.Color.Syntax.html">Cfg.Color.Syntax</a>]</td>
@@ -58,7 +58,7 @@
 <td></td></tr>
 <tr><td><a href="Cfg.html#VALcopy_indent">copy_indent</a> [<a href="Cfg.html">Cfg</a>]</td>
 <td></td></tr>
-<tr><td align="left"><br>D</td></tr>
+<tr><td align="left"><div>D</div></td></tr>
 <tr><td><a href="Draw.html#VALdark_bkg">dark_bkg</a> [<a href="Draw.html">Draw</a>]</td>
 <td></td></tr>
 <tr><td><a href="Cfg.html#VALdbl_click_time">dbl_click_time</a> [<a href="Cfg.html">Cfg</a>]</td>
@@ -85,7 +85,7 @@
 <td></td></tr>
 <tr><td><a href="Draw.Cursor.html#VALdraw_tab">draw_tab</a> [<a href="Draw.Cursor.html">Draw.Cursor</a>]</td>
 <td></td></tr>
-<tr><td align="left"><br>E</td></tr>
+<tr><td align="left"><div>E</div></td></tr>
 <tr><td><a href="Draw.html#VALedit">edit</a> [<a href="Draw.html">Draw</a>]</td>
 <td></td></tr>
 <tr><td><a href="Cfg.Color.html#VALedit_csr">edit_csr</a> [<a href="Cfg.Color.html">Cfg.Color</a>]</td>
@@ -114,7 +114,7 @@
 <td></td></tr>
 <tr><td><a href="Cfg.html#VALexpand_tabs">expand_tabs</a> [<a href="Cfg.html">Cfg</a>]</td>
 <td></td></tr>
-<tr><td align="left"><br>F</td></tr>
+<tr><td align="left"><div>F</div></td></tr>
 <tr><td><a href="Scrollmap.html#VALfind_line">find_line</a> [<a href="Scrollmap.html">Scrollmap</a>]</td>
 <td></td></tr>
 <tr><td><a href="Scrollmap.html#VALfirst">first</a> [<a href="Scrollmap.html">Scrollmap</a>]</td>
@@ -137,7 +137,7 @@
 <td></td></tr>
 <tr><td><a href="Rope.html#VALfrom_string">from_string</a> [<a href="Rope.html">Rope</a>]</td>
 <td></td></tr>
-<tr><td align="left"><br>G</td></tr>
+<tr><td align="left"><div>G</div></td></tr>
 <tr><td><a href="X11.html#VALget_glyph">get_glyph</a> [<a href="X11.html">X11</a>]</td>
 <td></td></tr>
 <tr><td><a href="Buf.Cursor.html#VALgetc">getc</a> [<a href="Buf.Cursor.html">Buf.Cursor</a>]</td>
@@ -156,14 +156,14 @@
 <td></td></tr>
 <tr><td><a href="Cfg.Color.html#VALgutter_sel">gutter_sel</a> [<a href="Cfg.Color.html">Cfg.Color</a>]</td>
 <td></td></tr>
-<tr><td align="left"><br>H</td></tr>
+<tr><td align="left"><div>H</div></td></tr>
 <tr><td><a href="Draw.Cursor.html#VALhas_next_line">has_next_line</a> [<a href="Draw.Cursor.html">Draw.Cursor</a>]</td>
 <td></td></tr>
 <tr><td><a href="Rope.html#VALheight">height</a> [<a href="Rope.html">Rope</a>]</td>
 <td></td></tr>
 <tr><td><a href="Draw.html#VALhrule">hrule</a> [<a href="Draw.html">Draw</a>]</td>
 <td></td></tr>
-<tr><td align="left"><br>I</td></tr>
+<tr><td align="left"><div>I</div></td></tr>
 <tr><td><a href="X11.html#VALintern">intern</a> [<a href="X11.html">X11</a>]</td>
 <td></td></tr>
 <tr><td><a href="Cfg.html#VALintvar">intvar</a> [<a href="Cfg.html">Cfg</a>]</td>
@@ -194,15 +194,15 @@
 <td></td></tr>
 <tr><td><a href="Rope.html#VALiteri">iteri</a> [<a href="Rope.html">Rope</a>]</td>
 <td></td></tr>
-<tr><td align="left"><br>J</td></tr>
+<tr><td align="left"><div>J</div></td></tr>
 <tr><td><a href="Rope.html#VALjoin">join</a> [<a href="Rope.html">Rope</a>]</td>
 <td></td></tr>
 <tr><td><a href="Rope.html#VALjoin_special">join_special</a> [<a href="Rope.html">Rope</a>]</td>
 <td></td></tr>
-<tr><td align="left"><br>K</td></tr>
+<tr><td align="left"><div>K</div></td></tr>
 <tr><td><a href="Cfg.Color.Syntax.html#VALkeyword">keyword</a> [<a href="Cfg.Color.Syntax.html">Cfg.Color.Syntax</a>]</td>
 <td></td></tr>
-<tr><td align="left"><br>L</td></tr>
+<tr><td align="left"><div>L</div></td></tr>
 <tr><td><a href="Rope.html#VALlast">last</a> [<a href="Rope.html">Rope</a>]</td>
 <td></td></tr>
 <tr><td><a href="Buf.html#VALlength">length</a> [<a href="Buf.html">Buf</a>]</td>
@@ -221,7 +221,7 @@
 <td></td></tr>
 <tr><td><a href="Misc.html#VALload_file">load_file</a> [<a href="Misc.html">Misc</a>]</td>
 <td></td></tr>
-<tr><td align="left"><br>M</td></tr>
+<tr><td align="left"><div>M</div></td></tr>
 <tr><td><a href="View.html#VALmake">make</a> [<a href="View.html">View</a>]</td>
 <td></td></tr>
 <tr><td><a href="Scrollmap.html#VALmake">make</a> [<a href="Scrollmap.html">Scrollmap</a>]</td>
@@ -248,7 +248,7 @@
 <td></td></tr>
 <tr><td><a href="Draw.Cursor.html#VALmove_x">move_x</a> [<a href="Draw.Cursor.html">Draw.Cursor</a>]</td>
 <td></td></tr>
-<tr><td align="left"><br>N</td></tr>
+<tr><td align="left"><div>N</div></td></tr>
 <tr><td><a href="Draw.Cursor.html#VALnext_glyph">next_glyph</a> [<a href="Draw.Cursor.html">Draw.Cursor</a>]</td>
 <td></td></tr>
 <tr><td><a href="Draw.Cursor.html#VALnext_line">next_line</a> [<a href="Draw.Cursor.html">Draw.Cursor</a>]</td>
@@ -269,12 +269,12 @@
 <td></td></tr>
 <tr><td><a href="Cfg.Color.Syntax.html#VALnumber">number</a> [<a href="Cfg.Color.Syntax.html">Cfg.Color.Syntax</a>]</td>
 <td></td></tr>
-<tr><td align="left"><br>O</td></tr>
+<tr><td align="left"><div>O</div></td></tr>
 <tr><td><a href="Buf.Cursor.html#VALoffset">offset</a> [<a href="Buf.Cursor.html">Buf.Cursor</a>]</td>
 <td></td></tr>
 <tr><td><a href="Cfg.Color.Syntax.html#VALoperator">operator</a> [<a href="Cfg.Color.Syntax.html">Cfg.Color.Syntax</a>]</td>
 <td></td></tr>
-<tr><td align="left"><br>P</td></tr>
+<tr><td align="left"><div>P</div></td></tr>
 <tr><td><a href="Cfg.Color.html#VALpalette">palette</a> [<a href="Cfg.Color.html">Cfg.Color</a>]</td>
 <td></td></tr>
 <tr><td><a href="View.html#VALpath">path</a> [<a href="View.html">View</a>]</td>
@@ -307,7 +307,7 @@
 <td></td></tr>
 <tr><td><a href="Rope.html#VALputs">puts</a> [<a href="Rope.html">Rope</a>]</td>
 <td></td></tr>
-<tr><td align="left"><br>R</td></tr>
+<tr><td align="left"><div>R</div></td></tr>
 <tr><td><a href="Draw.html#VALrectangle">rectangle</a> [<a href="Draw.html">Draw</a>]</td>
 <td></td></tr>
 <tr><td><a href="View.html#VALresize">resize</a> [<a href="View.html">View</a>]</td>
@@ -320,7 +320,7 @@
 <td></td></tr>
 <tr><td><a href="Cfg.html#VALruler_column">ruler_column</a> [<a href="Cfg.html">Cfg</a>]</td>
 <td></td></tr>
-<tr><td align="left"><br>S</td></tr>
+<tr><td align="left"><div>S</div></td></tr>
 <tr><td><a href="Draw.html#VALscroll">scroll</a> [<a href="Draw.html">Draw</a>]</td>
 <td></td></tr>
 <tr><td><a href="View.html#VALscroll_dn">scroll_dn</a> [<a href="View.html">View</a>]</td>
@@ -357,7 +357,7 @@
 <td></td></tr>
 <tr><td><a href="Cfg.html#VALsyntax_enabled">syntax_enabled</a> [<a href="Cfg.html">Cfg</a>]</td>
 <td></td></tr>
-<tr><td align="left"><br>T</td></tr>
+<tr><td align="left"><div>T</div></td></tr>
 <tr><td><a href="Cfg.html#VALtab_width">tab_width</a> [<a href="Cfg.html">Cfg</a>]</td>
 <td></td></tr>
 <tr><td><a href="Draw.html#VALtabglyph">tabglyph</a> [<a href="Draw.html">Draw</a>]</td>
@@ -382,14 +382,14 @@
 <td></td></tr>
 <tr><td><a href="Cfg.Color.Syntax.html#VALtypedef">typedef</a> [<a href="Cfg.Color.Syntax.html">Cfg.Color.Syntax</a>]</td>
 <td></td></tr>
-<tr><td align="left"><br>V</td></tr>
+<tr><td align="left"><div>V</div></td></tr>
 <tr><td><a href="X11.html#VALvar_get">var_get</a> [<a href="X11.html">X11</a>]</td>
 <td></td></tr>
 <tr><td><a href="Cfg.Color.Syntax.html#VALvariable">variable</a> [<a href="Cfg.Color.Syntax.html">Cfg.Color.Syntax</a>]</td>
 <td></td></tr>
 <tr><td><a href="Draw.html#VALvrule">vrule</a> [<a href="Draw.html">Draw</a>]</td>
 <td></td></tr>
-<tr><td align="left"><br>W</td></tr>
+<tr><td align="left"><div>W</div></td></tr>
 <tr><td><a href="Cfg.html#VALwinheight">winheight</a> [<a href="Cfg.html">Cfg</a>]</td>
 <td></td></tr>
 <tr><td><a href="Cfg.html#VALwinwidth">winwidth</a> [<a href="Cfg.html">Cfg</a>]</td>

diff --git a/docs/type_X11.GlyphMap.html b/docs/type_X11.GlyphMap.html
index 80ee296183f215c1d16b2f68db282fda7586de72..b388f4954ba8bb53bca774dfea38140e571c9299 100644 (file)
--- a/docs/type_X11.GlyphMap.html
+++ b/docs/type_X11.GlyphMap.html
@@ -24,6 +24,7 @@
 &nbsp;&nbsp;<span class="keyword">val</span>&nbsp;is_empty&nbsp;:&nbsp;<span class="keywordsign">'</span>a&nbsp;t&nbsp;<span class="keywordsign">-&gt;</span>&nbsp;bool<br>
 &nbsp;&nbsp;<span class="keyword">val</span>&nbsp;mem&nbsp;:&nbsp;key&nbsp;<span class="keywordsign">-&gt;</span>&nbsp;<span class="keywordsign">'</span>a&nbsp;t&nbsp;<span class="keywordsign">-&gt;</span>&nbsp;bool<br>
 &nbsp;&nbsp;<span class="keyword">val</span>&nbsp;add&nbsp;:&nbsp;key&nbsp;<span class="keywordsign">-&gt;</span>&nbsp;<span class="keywordsign">'</span>a&nbsp;<span class="keywordsign">-&gt;</span>&nbsp;<span class="keywordsign">'</span>a&nbsp;t&nbsp;<span class="keywordsign">-&gt;</span>&nbsp;<span class="keywordsign">'</span>a&nbsp;t<br>
+&nbsp;&nbsp;<span class="keyword">val</span>&nbsp;update&nbsp;:&nbsp;key&nbsp;<span class="keywordsign">-&gt;</span>&nbsp;(<span class="keywordsign">'</span>a&nbsp;option&nbsp;<span class="keywordsign">-&gt;</span>&nbsp;<span class="keywordsign">'</span>a&nbsp;option)&nbsp;<span class="keywordsign">-&gt;</span>&nbsp;<span class="keywordsign">'</span>a&nbsp;t&nbsp;<span class="keywordsign">-&gt;</span>&nbsp;<span class="keywordsign">'</span>a&nbsp;t<br>
 &nbsp;&nbsp;<span class="keyword">val</span>&nbsp;singleton&nbsp;:&nbsp;key&nbsp;<span class="keywordsign">-&gt;</span>&nbsp;<span class="keywordsign">'</span>a&nbsp;<span class="keywordsign">-&gt;</span>&nbsp;<span class="keywordsign">'</span>a&nbsp;t<br>
 &nbsp;&nbsp;<span class="keyword">val</span>&nbsp;remove&nbsp;:&nbsp;key&nbsp;<span class="keywordsign">-&gt;</span>&nbsp;<span class="keywordsign">'</span>a&nbsp;t&nbsp;<span class="keywordsign">-&gt;</span>&nbsp;<span class="keywordsign">'</span>a&nbsp;t<br>
 &nbsp;&nbsp;<span class="keyword">val</span>&nbsp;merge&nbsp;:<br>