diff options
| author | Blaž Hrastnik | 2022-09-11 02:09:12 +0000 |
|---|---|---|
| committer | Blaž Hrastnik | 2022-09-11 02:11:07 +0000 |
| commit | c2e41082e4b2e0e1dba6a980a7f09ccaad88cbd0 (patch) | |
| tree | ecf53d11e0f83f8a5d50585a6877f4d3fc4ebef5 /book/theme/book.js | |
| parent | a15420ed1c3b46df0dade6ec6d05a0e4b26e06e0 (diff) | |
Remove the .txt suffix from tutor
The tutor file is loaded as .txt which can potentially spawn a
language server. Then the path is unset, but the LS remains active.
This can cause panics since updates are now submitted for a doc
with no path.
As a quick workaround we remove the extension which should avoid
detection.
Fixes #3730
Diffstat (limited to 'book/theme/book.js')
0 files changed, 0 insertions, 0 deletions