diff options
author | Jaakko Keränen <jaakko.keranen@iki.fi> | 2021-03-21 14:29:51 +0200 |
---|---|---|
committer | Jaakko Keränen <jaakko.keranen@iki.fi> | 2021-03-21 14:29:51 +0200 |
commit | 2f9e203058df442921fc0151ddc5fe9b68b87935 (patch) | |
tree | 5441025fcf4e974e82128f65376650bec7a941bb /src/ui/util.c | |
parent | b93ba1bfb860c2a4b5bf46c77f3f0d11b4eb1282 (diff) |
iOS: Save to Files; hide toolbar on scroll
There is no downloads directory on mobile. Instead, the downloaded file is temporarily cached and given to the iOS document picker to export.
Added an option to hide the bottom toolbar while scrolling down.
Diffstat (limited to 'src/ui/util.c')
-rw-r--r-- | src/ui/util.c | 5 |
1 files changed, 4 insertions, 1 deletions
diff --git a/src/ui/util.c b/src/ui/util.c index 8fbe5d41..d68ae738 100644 --- a/src/ui/util.c +++ b/src/ui/util.c | |||
@@ -986,7 +986,6 @@ static iBool isTwoColumnPage_(iWidget *d) { | |||
986 | 986 | ||
987 | static iBool isOmittedPref_(const iString *id) { | 987 | static iBool isOmittedPref_(const iString *id) { |
988 | static const char *omittedPrefs[] = { | 988 | static const char *omittedPrefs[] = { |
989 | "prefs.downloads", | ||
990 | "prefs.smoothscroll", | 989 | "prefs.smoothscroll", |
991 | "prefs.imageloadscroll", | 990 | "prefs.imageloadscroll", |
992 | "prefs.retainwindow", | 991 | "prefs.retainwindow", |
@@ -1812,6 +1811,10 @@ iWidget *makePreferences_Widget(void) { | |||
1812 | addChild_Widget(values, iClob(makeToggle_Widget("prefs.smoothscroll"))); | 1811 | addChild_Widget(values, iClob(makeToggle_Widget("prefs.smoothscroll"))); |
1813 | addChild_Widget(headings, iClob(makeHeading_Widget("Load image on scroll:"))); | 1812 | addChild_Widget(headings, iClob(makeHeading_Widget("Load image on scroll:"))); |
1814 | addChild_Widget(values, iClob(makeToggle_Widget("prefs.imageloadscroll"))); | 1813 | addChild_Widget(values, iClob(makeToggle_Widget("prefs.imageloadscroll"))); |
1814 | if (deviceType_App() == phone_AppDeviceType) { | ||
1815 | addChild_Widget(headings, iClob(makeHeading_Widget("Hide toolbar on scroll:"))); | ||
1816 | addChild_Widget(values, iClob(makeToggle_Widget("prefs.hidetoolbarscroll"))); | ||
1817 | } | ||
1815 | } | 1818 | } |
1816 | /* Window. */ { | 1819 | /* Window. */ { |
1817 | appendTwoColumnPage_(tabs, "Interface", '2', &headings, &values); | 1820 | appendTwoColumnPage_(tabs, "Interface", '2', &headings, &values); |