fix text bugs

Author: dzaima

AndroidIDE/Highlight.pde

@@ -73,6 +73,7 @@ static class SyntaxHighlight {
         }
         if (sel == pos) {
           g.stroke(th.pair);
+          g.strokeWeight(ceil(sz/20f));
           g.pushMatrix();
           g.translate(cx, y + ln*sz);
           g.beginShape();

AndroidIDE/Textfield.pde

@@ -42,6 +42,7 @@ class APLField extends Drawable implements TextReciever {
     }
     clip(x, y, w, h);
     if (pmousePressed && !mousePressed && smouseIn() && dist(mouseX, mouseY, smouseX, smouseY) < 10) {
+      textSize(tsz);
       sx = constrain(round((mouseX-x)/textWidth("H")), 0, line.length());
       ex = sx;
       tt = 0;