update Dyalog interface

Author: dzaima

.gitignore

@@ -1,21 +1,22 @@
+APL.jar
 out
 src/build
+
 .idea
-APL.jar
 APL.iml
+.history
+
+
 app/APL/src/
 app/build/
 app/APLApp/android/
 APLP5/code/APL8.jar
 app/APLApp/code/APL8\.jar
-
 AndroidIDE/code/APL8\.jar
-
 AndroidIDE/data/temp/
-
 AndroidIDE/android/
 app/err
-
 *.apk
-
 AndroidIDE/build/
+
+

AndroidIDE/AndroidManifest.xml

@@ -1,5 +1,5 @@
 <?xml version="1.0" encoding="UTF-8"?>
-<manifest xmlns:android="http://schemas.android.com/apk/res/android" android:versionCode="5" android:versionName="0.1.8" package="dzaima.aplide">
+<manifest xmlns:android="http://schemas.android.com/apk/res/android" android:versionCode="5" android:versionName="0.1.9" package="dzaima.aplide">
     <uses-sdk android:minSdkVersion="17" android:targetSdkVersion="28"/>
     <application android:icon="@mipmap/ic_launcher" android:label="">
         <activity android:name=".MainActivity" android:theme="@style/Theme.AppCompat.Light.NoActionBar.FullScreen">

AndroidIDE/readme.md

@@ -5,17 +5,16 @@
 By default, this interprets dzaima/APL, but to connect to Dyalog APL (through JSONServer), in Dyalog do:
 
 ```apl
-)LOAD path/to/JSONServer/Distribution/JSONServer.dws
-S←⊃JSONServer.Run ⍬
-eval←{⎕←'  ',⍵ ⋄ 0::{⎕←↑⎕DM⋄⎕DM}⍬ ⋄ ,↓⎕←⍕⍎⍵}
+)LOAD path/to/Jarvis/Distribution/Jarvis.dws ⍝ https://github.com/Dyalog/Jarvis/blob/master/Distribution/Jarvis.dws
+eval←{⎕←' ',⍵ ⋄ 0::{⎕←↑⎕DM⋄⎕DM}⍬ ⋄ ,↓⎕←⍕⍎⍵}
+S←⊃Jarvis.Run 1234 # ⍝ replace 1234 with whatever port you want
 ```
 
 and to connect to it in the app:
 
 ```apl
 :i dyalog
-⍝ and, optionally, if JSONServer wasn't started on localhost with port 8080,
-)ip:port
+)ip:1234 ⍝ or whatever port you set
 ```
 
 

AndroidIDE/stuff.pde

@@ -222,7 +222,7 @@ class StrOS extends OutputStream {
     synchronized(bs) {
       String res = new String(Arrays.copyOf(bs.arr, bs.used));
       bs.clear();
-      return res;
+      return res.replace("(HTTPLog)-Static: isSBSettingEnabled false\n", "");
     }
   }
   void close() {

REPL

@@ -1,2 +1,2 @@
 #!/bin/bash
-rlwrap java -ea -jar APL.jar "$@" -r
+rlwrap -s99999 -H.history java -ea -jar APL.jar "$@" -r