diff options
| author | Rémi Verschelde <rverschelde@gmail.com> | 2022-10-17 17:30:55 +0200 |
|---|---|---|
| committer | Rémi Verschelde <rverschelde@gmail.com> | 2022-10-17 17:30:55 +0200 |
| commit | 235c5c60f8cff3bf6f62ad9aa0ffe4d2413df616 (patch) | |
| tree | c88eb6d60e98b8d726bd7dad7856cbdf86d35ea8 /platform/ios | |
| parent | f92140998456870179401d0da2b4d15113d8508d (diff) | |
| parent | d78051c92c568fa8a36b44d565955f3088069cf8 (diff) | |
Merge pull request #67322 from ztc0611/add-ios-ui-options
Add iOS UI Options
Diffstat (limited to 'platform/ios')
| -rw-r--r-- | platform/ios/view_controller.mm | 12 |
1 files changed, 10 insertions, 2 deletions
diff --git a/platform/ios/view_controller.mm b/platform/ios/view_controller.mm index 43669d3f94..53c5d3d0b4 100644 --- a/platform/ios/view_controller.mm +++ b/platform/ios/view_controller.mm @@ -164,7 +164,11 @@ // MARK: Orientation - (UIRectEdge)preferredScreenEdgesDeferringSystemGestures { - return UIRectEdgeAll; + if (GLOBAL_GET("display/window/ios/suppress_ui_gesture")) { + return UIRectEdgeAll; + } else { + return UIRectEdgeNone; + } } - (BOOL)shouldAutorotate { @@ -206,7 +210,11 @@ } - (BOOL)prefersStatusBarHidden { - return YES; + if (GLOBAL_GET("display/window/ios/hide_status_bar")) { + return YES; + } else { + return NO; + } } - (BOOL)prefersHomeIndicatorAutoHidden { |