frontend: Text-Panel zuverlässig auf die Titelzeile minimierbar

Die Fenster-Buttons stoppen die Ereignis-Weitergabe, damit ein Klick auf
Minimieren/Normal/Maximieren nicht an den Titelzeilen-Restore-Handler des
Panel-Kopfs durchgereicht und dort wieder aufgehoben wird. Das Text-Panel
klappt so verlässlich auf seine Titelzeile zusammen (42 px) und stellt sich
per Klick auf die Titelzeile wieder her.

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

frontend/index.html

@@ -742,7 +742,11 @@ function applySplit(){
 /* Setzt einen Minimier-Zustand während des Ziehens nur bei Änderung. */
 function snapTo(state){ if(splitState!==state){ splitState = state; applySplit(); } }
 document.querySelectorAll('.winbtn').forEach(b => {
-  b.addEventListener('click', () => { splitState = b.dataset.state; applySplit(); });
+  b.addEventListener('click', e => {
+    /* Fenster-Buttons sind maßgeblich: nicht zum Titelzeilen-Restore durchreichen */
+    e.stopPropagation();
+    splitState = b.dataset.state; applySplit();
+  });
 });
 /* Klick auf die Titelzeile eines minimierten Panels stellt es wieder her. */
 [editorPanel, diagramPanel].forEach(panel => {