summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorJaakko Keränen <jaakko.keranen@iki.fi>2021-12-10 11:21:30 +0200
committerJaakko Keränen <jaakko.keranen@iki.fi>2021-12-10 11:21:30 +0200
commit2c20faea44bdf38c6bf5dc3b62c6ad2ecd323a74 (patch)
tree1a3612631a245304d935b1e1a0aa80412e076d39
parentfe3c7bb41fbb1d1db7c244e9ef0489ebd1d8e7f2 (diff)
Mobile: Added missing Glyph Warnings option
-rw-r--r--src/ui/util.c3
1 files changed, 2 insertions, 1 deletions
diff --git a/src/ui/util.c b/src/ui/util.c
index daefc279..4ef50ec5 100644
--- a/src/ui/util.c
+++ b/src/ui/util.c
@@ -2480,7 +2480,8 @@ iWidget *makePreferences_Widget(void) {
2480 { "buttons id:prefs.mono", 0, 0, (const void *) monoFontItems }, 2480 { "buttons id:prefs.mono", 0, 0, (const void *) monoFontItems },
2481 { "padding" }, 2481 { "padding" },
2482 { "dropdown id:prefs.font.monodoc", 0, 0, (const void *) constData_Array(makeFontItems_("monodoc")) }, 2482 { "dropdown id:prefs.font.monodoc", 0, 0, (const void *) constData_Array(makeFontItems_("monodoc")) },
2483// { "padding" }, 2483 { "padding" },
2484 { "toggle id:prefs.font.warnmissing" },
2484 { "heading id:prefs.gemtext.ansi" }, 2485 { "heading id:prefs.gemtext.ansi" },
2485 { "toggle id:prefs.gemtext.ansi.fg" }, 2486 { "toggle id:prefs.gemtext.ansi.fg" },
2486 { "toggle id:prefs.gemtext.ansi.bg" }, 2487 { "toggle id:prefs.gemtext.ansi.bg" },