ANDROID: implemented support for editing with the system keypad

Author: Chris Warren-Smith

src/platform/android/app/build.gradle

@@ -9,7 +9,7 @@ android {
     applicationId 'net.sourceforge.smallbasic'
     minSdkVersion 21
     targetSdkVersion 36
-    versionCode 84
+    versionCode 85
     versionName '12.31'
     resourceConfigurations += ['en']
   }

src/platform/android/jni/editor.cpp

@@ -130,7 +130,8 @@ void Runtime::editSource(strlib::String loadPath, bool restoreOnExit) {
   int h = _output->getHeight();
   int charWidth = _output->getCharWidth();
   int charHeight = _output->getCharHeight();
-  int prevScreenId = _output->selectScreen(FORM_SCREEN);
+  int screenId = opt_ide == IDE_EXTERNAL ? SOURCE_SCREEN : FORM_SCREEN;
+  int prevScreenId = _output->selectScreen(screenId);
   TextEditInput *editWidget;
   if (_editor != nullptr) {
     editWidget = _editor;