ANDROID: fix race with graphics drawing while pausing

Author: Chris Warren-Smith

src/platform/android/app/build.gradle

@@ -9,7 +9,7 @@ android {
     applicationId 'net.sourceforge.smallbasic'
     minSdkVersion 23
     targetSdkVersion 36
-    versionCode 90
+    versionCode 91
     versionName '12.33'
     resourceConfigurations += ['en']
   }

src/platform/android/app/src/main/java/net/sourceforge/smallbasic/MainActivity.java

@@ -808,8 +808,15 @@ protected void onCreate(Bundle savedInstanceState) {
 
   @Override
   protected void onPause() {
-    super.onPause();
     onActivityPaused(true);
+    // wait for Graphics::redraw() to complete
+    try {
+      Thread.sleep(10);
+    }
+    catch (Exception e) {
+      // ignored
+    }
+    super.onPause();
   }
 
   @Override

src/platform/android/build.gradle

@@ -5,7 +5,7 @@ buildscript {
     mavenCentral()
   }
   dependencies {
-    classpath 'com.android.tools.build:gradle:9.1.0'
+    classpath 'com.android.tools.build:gradle:9.1.1'
   }
 }