frontend: Sprung holt keine Bildschirmtastatur mehr herauf

Nach dem Sprung erschien auf Touch-Geräten sofort die virtuelle Tastatur und
nahm den halben Bildschirm — auch bei angeschlossener Bluetooth-Tastatur.

Das ist kein Fehler der App: Eine Webseite erfährt nichts über verbundene
Tastaturen, sie fordert nur Fokus an; alles Weitere entscheidet das OS (Android
hat dafür den Schalter „Bildschirmtastatur anzeigen" unter Physische Tastatur,
vielerorts an). Statt darauf zu verweisen, fordert der Sprung sie erst gar
nicht an:

- `jumpToLine()` setzt vor dem Fokussieren `inputmode="none"` — das unterdrückt
  nur die VIRTUELLE Tastatur, Hardware-Tastaturen tippen unverändert weiter.
- Die Sperre fällt, sobald der Nutzer das Textfeld selbst antippt
  (`pointerdown` läuft vor dem Fokus). Der Sprung ist damit „hinschauen", der
  erste Tipp ins Textfeld „bearbeiten".
- `newDoc()` hebt die Sperre ausdrücklich auf — bei einem neuen, leeren
  Dokument ist Tippen gemeint.

Verifiziert im Browser: Sprung setzt inputmode=none bei Fokus im Textfeld und
korrekter Zeilenmarkierung; Feld bleibt editierbar (nicht readOnly/disabled);
eigenes pointerdown entfernt das Attribut; erneuter Sprung setzt es wieder;
„Neues Dokument" fokussiert ohne Sperre. Vitest 37/37.

Co-Authored-By: Claude Opus 4.8 <noreply@anthropic.com>

frontend/src/app.js

@@ -371,12 +371,24 @@ function revealEditor(){
   }
 }
 
+/* Der Sprung ist „hinschauen", nicht „bearbeiten": `inputmode="none"` hält die
+   **virtuelle** Tastatur unten, die sonst beim Fokussieren den halben
+   Bildschirm nimmt. Hardware-Tastaturen (BT) tippen unverändert weiter. Sobald
+   der Nutzer das Textfeld selbst antippt, ist Bearbeiten gemeint — `pointerdown`
+   läuft vor dem Fokus, die Sperre fällt also rechtzeitig. */
+function keyboardOnJump(off){
+  if(off) src.setAttribute('inputmode', 'none');
+  else src.removeAttribute('inputmode');
+}
+src.addEventListener('pointerdown', () => keyboardOnJump(false));
+
 /* Diagramm -> Text: ganze Zeile markieren (die native Auswahl ist die einzige
    Hervorhebung, die ein <textarea> kennt — und sie verschwindet beim Tippen). */
 function jumpToLine(line){
   const r = lineRange(line);
   if(!r) return;
   revealEditor();
+  keyboardOnJump(true);
   src.focus({preventScroll: true});
   src.setSelectionRange(r.start, r.end);
   scrollEditorToOffset(r.start);
@@ -1446,6 +1458,7 @@ function newDoc(){
   activeId = d.id;
   loadActiveIntoEditor();
   persistDocs();
+  keyboardOnJump(false);   /* neues, leeres Dokument = tippen ist gemeint */
   src.focus();
 }
 function renameDoc(){