diff options
| author | Jaakko Keränen <jaakko.keranen@iki.fi> | 2021-10-11 18:54:59 +0300 |
|---|---|---|
| committer | Jaakko Keränen <jaakko.keranen@iki.fi> | 2021-10-11 18:54:59 +0300 |
| commit | c490862b7fb04550364ce98f98b9e4d1fcaa13b8 (patch) | |
| tree | d3384f4a1623bd448a66ab34ecf7901ba20c2d83 /src/ui | |
| parent | eb357db5822822c36c395080dac22230efdc54fd (diff) | |
Preferences: Add bookmarks to bottom/top
IssueID #358
Diffstat (limited to 'src/ui')
| -rw-r--r-- | src/ui/util.c | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/src/ui/util.c b/src/ui/util.c index ab799a36..3240b416 100644 --- a/src/ui/util.c +++ b/src/ui/util.c | |||
| @@ -2381,6 +2381,7 @@ iWidget *makePreferences_Widget(void) { | |||
| 2381 | setUrlContent_InputWidget(searchUrl, iTrue); | 2381 | setUrlContent_InputWidget(searchUrl, iTrue); |
| 2382 | addDialogPadding_(headings, values); | 2382 | addDialogPadding_(headings, values); |
| 2383 | addDialogToggle_(headings, values, "${prefs.hoverlink}", "prefs.hoverlink"); | 2383 | addDialogToggle_(headings, values, "${prefs.hoverlink}", "prefs.hoverlink"); |
| 2384 | addDialogToggle_(headings, values, "${prefs.bookmarks.addbottom}", "prefs.bookmarks.addbottom"); | ||
| 2384 | addDialogToggle_(headings, values, "${prefs.archive.openindex}", "prefs.archive.openindex"); | 2385 | addDialogToggle_(headings, values, "${prefs.archive.openindex}", "prefs.archive.openindex"); |
| 2385 | if (deviceType_App() != phone_AppDeviceType) { | 2386 | if (deviceType_App() != phone_AppDeviceType) { |
| 2386 | addChild_Widget(headings, iClob(makeHeading_Widget("${prefs.pinsplit}"))); | 2387 | addChild_Widget(headings, iClob(makeHeading_Widget("${prefs.pinsplit}"))); |