Handle terminal being resized

2024-10-04 10:51:59 +02:00
parent e70839ee30
commit dfdd66b021
2 changed files with 12 additions and 1 deletions
--- a/src/Editor/Editor.php
+++ b/src/Editor/Editor.php
@@ -104,6 +104,11 @@ class Editor

        while ($this->running) {
            [$w,$h] = $this->term->getSize();
+            if ($this->term->resized) {
+                $this->redrawEditor();
+                $this->term->resized = false;
+            }
+            usleep(10000);
            $read = $this->term->readKey();
            switch ($read) {
                case 'k{UP}':