Merge remote-tracking branch 'origin/dev' into dev

This commit is contained in:
Vanessa 2023-07-09 23:54:45 +08:00
commit 9c0aef93db
13 changed files with 55 additions and 22 deletions

View file

@ -509,6 +509,7 @@ interface IFileTree {
alwaysSelectOpenedFile: boolean
openFilesUseCurrentTab: boolean
removeDocWithoutConfirm: boolean
useSingleLineSave: boolean
allowCreateDeeper: boolean
refCreateSavePath: string
docCreateSavePath: string