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 b9f37476..befc2fd5 100644 --- a/src/ui/util.c +++ b/src/ui/util.c | |||
@@ -2644,9 +2644,9 @@ iWidget *makePreferences_Widget(void) { | |||
2644 | setUrlContent_InputWidget(searchUrl, iTrue); | 2644 | setUrlContent_InputWidget(searchUrl, iTrue); |
2645 | addDialogPadding_(headings, values); | 2645 | addDialogPadding_(headings, values); |
2646 | addDialogToggle_(headings, values, "${prefs.hoverlink}", "prefs.hoverlink"); | 2646 | addDialogToggle_(headings, values, "${prefs.hoverlink}", "prefs.hoverlink"); |
2647 | addDialogToggle_(headings, values, "${prefs.bookmarks.addbottom}", "prefs.bookmarks.addbottom"); | ||
2648 | addDialogToggle_(headings, values, "${prefs.dataurl.openimages}", "prefs.dataurl.openimages"); | 2647 | addDialogToggle_(headings, values, "${prefs.dataurl.openimages}", "prefs.dataurl.openimages"); |
2649 | addDialogToggle_(headings, values, "${prefs.archive.openindex}", "prefs.archive.openindex"); | 2648 | addDialogToggle_(headings, values, "${prefs.archive.openindex}", "prefs.archive.openindex"); |
2649 | addDialogToggle_(headings, values, "${prefs.bookmarks.addbottom}", "prefs.bookmarks.addbottom"); | ||
2650 | if (deviceType_App() != phone_AppDeviceType) { | 2650 | if (deviceType_App() != phone_AppDeviceType) { |
2651 | addChild_Widget(headings, iClob(makeHeading_Widget("${prefs.pinsplit}"))); | 2651 | addChild_Widget(headings, iClob(makeHeading_Widget("${prefs.pinsplit}"))); |
2652 | iWidget *pinSplit = new_Widget(); | 2652 | iWidget *pinSplit = new_Widget(); |