diff options
Diffstat (limited to 'src/ui/util.c')
-rw-r--r-- | src/ui/util.c | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/src/ui/util.c b/src/ui/util.c index ff127f25..39cfce13 100644 --- a/src/ui/util.c +++ b/src/ui/util.c | |||
@@ -2476,7 +2476,7 @@ iWidget *makePreferences_Widget(void) { | |||
2476 | { "title id:heading.prefs.interface" }, | 2476 | { "title id:heading.prefs.interface" }, |
2477 | { "dropdown device:0 id:prefs.returnkey", 0, 0, (const void *) returnKeyBehaviors }, | 2477 | { "dropdown device:0 id:prefs.returnkey", 0, 0, (const void *) returnKeyBehaviors }, |
2478 | { "padding device:1" }, | 2478 | { "padding device:1" }, |
2479 | { "toggle id:prefs.hoverlink" }, | 2479 | //{ "toggle id:prefs.hoverlink" }, |
2480 | { "toggle device:2 id:prefs.hidetoolbarscroll" }, | 2480 | { "toggle device:2 id:prefs.hidetoolbarscroll" }, |
2481 | { "heading id:heading.prefs.sizing" }, | 2481 | { "heading id:heading.prefs.sizing" }, |
2482 | { "input id:prefs.uiscale maxlen:8" }, | 2482 | { "input id:prefs.uiscale maxlen:8" }, |