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-19 11:15:30 +0300 |
commit | 65ae29b56803c1ba779ab9b0a6b09333482ee13a (patch) | |
tree | b46703ee24ad816d6f2837ee1b013f5164d2fec3 /src/ui | |
parent | 6770449bef6c04c7e6d10a26755fdd77c8b6947c (diff) |
Preferences: Add bookmarks to bottom/top
IssueID #358
# Conflicts:
# res/lang/de.bin
# res/lang/en.bin
# res/lang/eo.bin
# res/lang/es.bin
# res/lang/es_MX.bin
# res/lang/fi.bin
# res/lang/fr.bin
# res/lang/gl.bin
# res/lang/ia.bin
# res/lang/ie.bin
# res/lang/isv.bin
# res/lang/pl.bin
# res/lang/ru.bin
# res/lang/sk.bin
# res/lang/sr.bin
# res/lang/tok.bin
# res/lang/zh_Hans.bin
# res/lang/zh_Hant.bin
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 adca6269..b18a3292 100644 --- a/src/ui/util.c +++ b/src/ui/util.c | |||
@@ -2349,6 +2349,7 @@ iWidget *makePreferences_Widget(void) { | |||
2349 | setUrlContent_InputWidget(searchUrl, iTrue); | 2349 | setUrlContent_InputWidget(searchUrl, iTrue); |
2350 | addDialogPadding_(headings, values); | 2350 | addDialogPadding_(headings, values); |
2351 | addDialogToggle_(headings, values, "${prefs.hoverlink}", "prefs.hoverlink"); | 2351 | addDialogToggle_(headings, values, "${prefs.hoverlink}", "prefs.hoverlink"); |
2352 | addDialogToggle_(headings, values, "${prefs.bookmarks.addbottom}", "prefs.bookmarks.addbottom"); | ||
2352 | addDialogToggle_(headings, values, "${prefs.archive.openindex}", "prefs.archive.openindex"); | 2353 | addDialogToggle_(headings, values, "${prefs.archive.openindex}", "prefs.archive.openindex"); |
2353 | if (deviceType_App() != phone_AppDeviceType) { | 2354 | if (deviceType_App() != phone_AppDeviceType) { |
2354 | addChild_Widget(headings, iClob(makeHeading_Widget("${prefs.pinsplit}"))); | 2355 | addChild_Widget(headings, iClob(makeHeading_Widget("${prefs.pinsplit}"))); |