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.

1 files changed, 8 insertions, 0 deletions

diff --git a/src/defs.h b/src/defs.h
index eb8affec..27eacd3b 100644
--- a/src/defs.h
+++ b/src/defs.h
@@ -82,3 +82,11 @@ enum iFileVersion {
 #define unhappy_Icon        "\U0001f641"
 #define globe_Icon          "\U0001f310"
 #define magnifyingGlass_Icon    "\U0001f50d"
+
+/* UI labels that depend on the platform */
+
+#if defined (iPlatformMobile)
+#   define saveToDownloads_Label    "Save to Files"
+#else
+#   define saveToDownloads_Label    "Save to Downloads"
+#endif