fix(betterNotes): add restart needed for hide notes patch (#258)

This commit is contained in:
Nico 2022-11-24 14:02:11 +01:00 committed by GitHub
parent f4d7a1f4fb
commit e7573382fe
No known key found for this signature in database
GPG Key ID: 4AEE18F83AFDEB23

@ -48,7 +48,8 @@ export default definePlugin({
hide: { hide: {
type: OptionType.BOOLEAN, type: OptionType.BOOLEAN,
description: "Hide notes", description: "Hide notes",
default: false default: false,
restartNeeded: true
}, },
noSpellCheck: { noSpellCheck: {
type: OptionType.BOOLEAN, type: OptionType.BOOLEAN,