deploy: 002f1ad397

keymap.html

@@ -292,6 +292,17 @@ the selection.</p>
 <tr><td>s</td><td>Open symbol picker (current document)</td></tr>
 <tr><td>w</td><td>Enter window mode</td></tr>
 <tr><td>space</td><td>Keep primary selection TODO: it's here because space mode replaced it</td></tr>
+</tbody></table>
+<h1 id="picker"><a class="header" href="#picker">Picker</a></h1>
+<p>Keys to use within picker.</p>
+<table><thead><tr><th>Key</th><th>Description</th></tr></thead><tbody>
+<tr><td>up, ctrl-p</td><td>Previous entry</td></tr>
+<tr><td>down, ctrl-n</td><td>Next entry</td></tr>
+<tr><td>ctrl-space</td><td>Filter options</td></tr>
+<tr><td>enter</td><td>Open selected</td></tr>
+<tr><td>ctrl-h</td><td>Open horizontally</td></tr>
+<tr><td>ctrl-v</td><td>Open vertically</td></tr>
+<tr><td>escape, ctrl-c</td><td>Close picker</td></tr>
 </tbody></table>
 
                     </main>

print.html

@@ -394,6 +394,17 @@ the selection.</p>
 <tr><td>w</td><td>Enter window mode</td></tr>
 <tr><td>space</td><td>Keep primary selection TODO: it's here because space mode replaced it</td></tr>
 </tbody></table>
+<h1 id="picker"><a class="header" href="#picker">Picker</a></h1>
+<p>Keys to use within picker.</p>
+<table><thead><tr><th>Key</th><th>Description</th></tr></thead><tbody>
+<tr><td>up, ctrl-p</td><td>Previous entry</td></tr>
+<tr><td>down, ctrl-n</td><td>Next entry</td></tr>
+<tr><td>ctrl-space</td><td>Filter options</td></tr>
+<tr><td>enter</td><td>Open selected</td></tr>
+<tr><td>ctrl-h</td><td>Open horizontally</td></tr>
+<tr><td>ctrl-v</td><td>Open vertically</td></tr>
+<tr><td>escape, ctrl-c</td><td>Close picker</td></tr>
+</tbody></table>
 <div style="break-before: page; page-break-before: always;"></div><h1 id="hooks"><a class="header" href="#hooks">Hooks</a></h1>
 
                     </main>