diff options
author | Filipe Azevedo | 2022-11-20 18:39:26 +0000 |
---|---|---|
committer | GitHub | 2022-11-20 18:39:26 +0000 |
commit | 8dac863a5b5b7fac08022a14f031fcf3c479a298 (patch) | |
tree | e8d2b286f3bb6a1ea5ec1e89688355dffd6cf1cc /book/src | |
parent | 46eb185d45c22f95de36b8467f323247cdb76fda (diff) |
Add `:reload-all` command (#4663)
Diffstat (limited to 'book/src')
-rw-r--r-- | book/src/generated/typable-cmd.md | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/book/src/generated/typable-cmd.md b/book/src/generated/typable-cmd.md index b7496d33..6390ef85 100644 --- a/book/src/generated/typable-cmd.md +++ b/book/src/generated/typable-cmd.md @@ -44,6 +44,7 @@ | `:show-directory`, `:pwd` | Show the current working directory. | | `:encoding` | Set encoding. Based on `https://encoding.spec.whatwg.org`. | | `:reload` | Discard changes and reload from the source file. | +| `:reload-all` | Discard changes and reload all documents from the source files. | | `:update` | Write changes only if the file has been modified. | | `:lsp-workspace-command` | Open workspace command picker | | `:lsp-restart` | Restarts the Language Server that is in use by the current doc | |