changeset 2573:ea75e295025b

Android: Make message boxes modal (not cancelable).
author bsmith@81767d24-ef19-dc11-ae90-00e081727c95
date Fri, 21 May 2021 00:56:10 +0000
parents bbe693293be5
children 5b13bb267364
files android/DWindows.kt
diffstat 1 files changed, 1 insertions(+), 0 deletions(-) [+]
line wrap: on
line diff
--- a/android/DWindows.kt	Fri May 21 00:39:13 2021 +0000
+++ b/android/DWindows.kt	Fri May 21 00:56:10 2021 +0000
@@ -3213,6 +3213,7 @@
                         throw java.lang.RuntimeException()
                     });
             }
+            alert.setCancelable(false)
             alert.show();
 
             // loop till a runtime exception is triggered.