Commit message (Collapse) | Author | Age | |
---|---|---|---|
* | Remove the .txt suffix from tutor | Blaž Hrastnik | 2022-09-11 |
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 |