diff options
Diffstat (limited to 'src/ui/util.c')
-rw-r--r-- | src/ui/util.c | 3 |
1 files changed, 3 insertions, 0 deletions
diff --git a/src/ui/util.c b/src/ui/util.c index 53ee8fda..b9f37476 100644 --- a/src/ui/util.c +++ b/src/ui/util.c | |||
@@ -2497,6 +2497,7 @@ iWidget *makePreferences_Widget(void) { | |||
2497 | { "input id:prefs.searchurl url:1 noheading:1" }, | 2497 | { "input id:prefs.searchurl url:1 noheading:1" }, |
2498 | { "padding" }, | 2498 | { "padding" }, |
2499 | { "toggle id:prefs.bookmarks.addbottom" }, | 2499 | { "toggle id:prefs.bookmarks.addbottom" }, |
2500 | { "toggle id:prefs.dataurl.openimages" }, | ||
2500 | { "toggle id:prefs.archive.openindex" }, | 2501 | { "toggle id:prefs.archive.openindex" }, |
2501 | { "radio device:1 id:prefs.pinsplit", 0, 0, (const void *) pinSplitItems }, | 2502 | { "radio device:1 id:prefs.pinsplit", 0, 0, (const void *) pinSplitItems }, |
2502 | { "padding" }, | 2503 | { "padding" }, |
@@ -2569,6 +2570,7 @@ iWidget *makePreferences_Widget(void) { | |||
2569 | const iMenuItem networkPanelItems[] = { | 2570 | const iMenuItem networkPanelItems[] = { |
2570 | { "title id:heading.prefs.network" }, | 2571 | { "title id:heading.prefs.network" }, |
2571 | { "toggle id:prefs.decodeurls" }, | 2572 | { "toggle id:prefs.decodeurls" }, |
2573 | { "input id:prefs.urlsize maxlen:10 selectall:1" }, | ||
2572 | { "padding" }, | 2574 | { "padding" }, |
2573 | { "input id:prefs.cachesize maxlen:4 selectall:1 unit:mb" }, | 2575 | { "input id:prefs.cachesize maxlen:4 selectall:1 unit:mb" }, |
2574 | { "input id:prefs.memorysize maxlen:4 selectall:1 unit:mb" }, | 2576 | { "input id:prefs.memorysize maxlen:4 selectall:1 unit:mb" }, |
@@ -2643,6 +2645,7 @@ iWidget *makePreferences_Widget(void) { | |||
2643 | addDialogPadding_(headings, values); | 2645 | addDialogPadding_(headings, values); |
2644 | addDialogToggle_(headings, values, "${prefs.hoverlink}", "prefs.hoverlink"); | 2646 | addDialogToggle_(headings, values, "${prefs.hoverlink}", "prefs.hoverlink"); |
2645 | addDialogToggle_(headings, values, "${prefs.bookmarks.addbottom}", "prefs.bookmarks.addbottom"); | 2647 | addDialogToggle_(headings, values, "${prefs.bookmarks.addbottom}", "prefs.bookmarks.addbottom"); |
2648 | addDialogToggle_(headings, values, "${prefs.dataurl.openimages}", "prefs.dataurl.openimages"); | ||
2646 | addDialogToggle_(headings, values, "${prefs.archive.openindex}", "prefs.archive.openindex"); | 2649 | addDialogToggle_(headings, values, "${prefs.archive.openindex}", "prefs.archive.openindex"); |
2647 | if (deviceType_App() != phone_AppDeviceType) { | 2650 | if (deviceType_App() != phone_AppDeviceType) { |
2648 | addChild_Widget(headings, iClob(makeHeading_Widget("${prefs.pinsplit}"))); | 2651 | addChild_Widget(headings, iClob(makeHeading_Widget("${prefs.pinsplit}"))); |