iOS: Opening a file via document picker

Use a native file picker to open files. Declare support for .gmi/.gemini files so they can be opened via Files and share sheets.

1 files changed, 1 insertions, 0 deletions

diff --git a/src/ios.h b/src/ios.h
index 578c85fe..64c0fad1 100644
--- a/src/ios.h
+++ b/src/ios.h
@@ -35,6 +35,7 @@ void    setupWindow_iOS         (iWindow *window);
 iBool   processEvent_iOS        (const SDL_Event *);
 void    playHapticEffect_iOS    (enum iHapticEffect effect);
 void    exportDownloadedFile_iOS(const iString *path);
+void    pickFileForOpening_iOS  (void);
 
 iBool   isPhone_iOS             (void);
 void    safeAreaInsets_iOS      (float *left, float *top, float *right, float *bottom);