ANDROID: fix layout issue with samsung mobiles

Author: chrisws

ChangeLog

@@ -1,3 +1,6 @@
+2020-06-14 (12.19)
+	ANDROID: fix layout issue with samsung mobiles
+
 2020-06-14 (12.19)
 	UI: Use theme colours in main display #94
 	UI: Added theme menu

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

@@ -343,6 +343,12 @@ public boolean getUntrusted() {
     return this._untrusted;
   }
 
+  public int getWindowHeight() {
+    Rect rect = new Rect();
+    findViewById(android.R.id.content).getWindowVisibleDisplayFrame(rect);
+    return rect.height();
+  }
+
   @Override
   public void onGlobalLayout() {
     super.onGlobalLayout();

src/platform/android/jni/runtime.cpp

@@ -504,6 +504,12 @@ void Runtime::loadConfig() {
   int fontSize = getInteger("getStartupFontSize");
   trace("fontSize = %d", fontSize);
 
+  int height = getInteger("getWindowHeight");
+  if (height !=  _graphics->getHeight()) {
+    // height adjustment for bottom virtual navigation bar
+    onResize(_graphics->getWidth(), height);
+  }
+
   _output->setTextColor(DEFAULT_FOREGROUND, DEFAULT_BACKGROUND);
   _output->setFontSize(fontSize);
   _initialFontSize = _output->getFontSize();