# HG changeset patch
# User bsmith@81767d24-ef19-dc11-ae90-00e081727c95
# Date 1621558570 0
# Node ID ea75e295025b991bd9103e9896f06a53eff3f1a4
# Parent  bbe693293be52c4402ab506a25f8af88eac696c7
Android: Make message boxes modal (not cancelable).

diff -r bbe693293be5 -r ea75e295025b android/DWindows.kt
--- 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.