deploy: f33aaba53f

3 years ago · 629a47192d
parent d34fb57cbf
commit 629a47192d
4 changed files with 4 additions and 2 deletions
--- a/configuration.html
+++ b/configuration.html
@ -207,6 +207,7 @@
 <tr><td>ui.text</td><td></td></tr>
 <tr><td>ui.text.focus</td><td></td></tr>
 <tr><td>ui.menu.selected</td><td></td></tr>
+<tr><td>ui.selection</td><td>for selections in the editing area</td></tr>
 <tr><td>warning</td><td>LSP warning</td></tr>
 <tr><td>error</td><td>LSP error</td></tr>
 <tr><td>info</td><td>LSP info</td></tr>
--- a/print.html
+++ b/print.html
@ -238,6 +238,7 @@ it with:</p>
 <tr><td>ui.text</td><td></td></tr>
 <tr><td>ui.text.focus</td><td></td></tr>
 <tr><td>ui.menu.selected</td><td></td></tr>
+<tr><td>ui.selection</td><td>for selections in the editing area</td></tr>
 <tr><td>warning</td><td>LSP warning</td></tr>
 <tr><td>error</td><td>LSP error</td></tr>
 <tr><td>info</td><td>LSP info</td></tr>
--- a/searchindex.js
+++ b/searchindex.js
--- a/searchindex.json
+++ b/searchindex.json