deploy: a26943de4e

2 years ago · 83dfcd897e
parent 213d049d1e
commit 83dfcd897e
4 changed files with 4 additions and 2 deletions
--- a/master/print.html
+++ b/master/print.html
@ -1279,6 +1279,7 @@ over it and is merged into the default palette.</p>
 <tr><td><code>ui.virtual.indent-guide</code></td><td>Vertical indent width guides</td></tr>
 <tr><td><code>ui.menu</code></td><td>Code and command completion menus</td></tr>
 <tr><td><code>ui.menu.selected</code></td><td>Selected autocomplete item</td></tr>
+<tr><td><code>ui.menu.scroll</code></td><td><code>fg</code> sets thumb color, <code>bg</code> sets track color of scrollbar</td></tr>
 <tr><td><code>ui.selection</code></td><td>For selections in the editing area</td></tr>
 <tr><td><code>ui.selection.primary</code></td><td></td></tr>
 <tr><td><code>warning</code></td><td>Diagnostics warning (gutter)</td></tr>
--- a/master/searchindex.js
+++ b/master/searchindex.js
--- a/master/searchindex.json
+++ b/master/searchindex.json
--- a/master/themes.html
+++ b/master/themes.html
@ -423,6 +423,7 @@ over it and is merged into the default palette.</p>
 <tr><td><code>ui.virtual.indent-guide</code></td><td>Vertical indent width guides</td></tr>
 <tr><td><code>ui.menu</code></td><td>Code and command completion menus</td></tr>
 <tr><td><code>ui.menu.selected</code></td><td>Selected autocomplete item</td></tr>
+<tr><td><code>ui.menu.scroll</code></td><td><code>fg</code> sets thumb color, <code>bg</code> sets track color of scrollbar</td></tr>
 <tr><td><code>ui.selection</code></td><td>For selections in the editing area</td></tr>
 <tr><td><code>ui.selection.primary</code></td><td></td></tr>
 <tr><td><code>warning</code></td><td>Diagnostics warning (gutter)</td></tr>