Document settings submenu: add Save as default (#9643)

This commit is contained in:
hius07
2022-10-25 06:34:23 -04:00
committed by GitHub
parent b8d9944a07
commit d1abbbfdd8
2 changed files with 54 additions and 16 deletions

View File

@@ -41,7 +41,7 @@ local order = {
"bookmarks_settings",
},
typeset = {
"reset_document_settings",
"document_settings",
"----------------------------",
"set_render_style",
"style_tweaks",