diff options
author | Jaakko Keränen <jaakko.keranen@iki.fi> | 2021-12-10 11:21:30 +0200 |
---|---|---|
committer | Jaakko Keränen <jaakko.keranen@iki.fi> | 2021-12-10 11:21:30 +0200 |
commit | 2c20faea44bdf38c6bf5dc3b62c6ad2ecd323a74 (patch) | |
tree | 1a3612631a245304d935b1e1a0aa80412e076d39 | |
parent | fe3c7bb41fbb1d1db7c244e9ef0489ebd1d8e7f2 (diff) |
Mobile: Added missing Glyph Warnings option
-rw-r--r-- | src/ui/util.c | 3 |
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" }, |