Typeset menu: adds "Reset document settings to default" (#8412)

This commit is contained in:
hius07
2021-11-07 20:29:53 +02:00
committed by GitHub
parent e6d2c1cae6
commit 3dabbd5d73
3 changed files with 44 additions and 2 deletions

View File

@@ -38,12 +38,13 @@ local order = {
"bookmarks_settings",
},
typeset = {
"reset_document_settings",
"----------------------------",
"set_render_style",
"style_tweaks",
"----------------------------",
"change_font",
"typography",
"floating_punctuation",
"----------------------------",
"switch_zoom_mode",
"----------------------------",