deploy: 91ff903bf3

2 years ago · 2d5da1c694
parent 476d522bba
commit 2d5da1c694
4 changed files with 4 additions and 2 deletions
--- a/master/configuration.html
+++ b/master/configuration.html
@ -225,6 +225,7 @@ mode.select = &quot;SELECT&quot;
 <tr><td><code>total-line-numbers</code></td><td>The total line numbers of the opened file</td></tr>
 <tr><td><code>file-type</code></td><td>The type of the opened file</td></tr>
 <tr><td><code>diagnostics</code></td><td>The number of warnings and/or errors</td></tr>
+<tr><td><code>workspace-diagnostics</code></td><td>The number of warnings and/or errors on workspace</td></tr>
 <tr><td><code>selections</code></td><td>The number of active selections</td></tr>
 <tr><td><code>primary-selection-length</code></td><td>The number of characters currently in primary selection</td></tr>
 <tr><td><code>position</code></td><td>The cursor position</td></tr>
--- a/master/print.html
+++ b/master/print.html
@ -1102,6 +1102,7 @@ mode.select = &quot;SELECT&quot;
 <tr><td><code>total-line-numbers</code></td><td>The total line numbers of the opened file</td></tr>
 <tr><td><code>file-type</code></td><td>The type of the opened file</td></tr>
 <tr><td><code>diagnostics</code></td><td>The number of warnings and/or errors</td></tr>
+<tr><td><code>workspace-diagnostics</code></td><td>The number of warnings and/or errors on workspace</td></tr>
 <tr><td><code>selections</code></td><td>The number of active selections</td></tr>
 <tr><td><code>primary-selection-length</code></td><td>The number of characters currently in primary selection</td></tr>
 <tr><td><code>position</code></td><td>The cursor position</td></tr>
--- a/master/searchindex.js
+++ b/master/searchindex.js
--- a/master/searchindex.json
+++ b/master/searchindex.json