Improve terminal composer controls

2026-07-08 00:12:16 +00:00
parent 2e8a0a164f
commit ced6523c00
2 changed files with 146 additions and 45 deletions
@@ -109,6 +109,8 @@ final class TerminalScreenBuffer {
                    putChar(' ');
                }
                index++;
+            } else if (isNakedDeviceAttributesTail(text, index)) {
+                index = skipNakedDeviceAttributesTail(text, index);
            } else if (item >= 0x20 && item != 0x7f) {
                putChar(item);
                index++;
@@ -495,6 +497,36 @@ final class TerminalScreenBuffer {
        return -1;
    }

+    private boolean isNakedDeviceAttributesTail(String text, int index) {
+        int cursor = index;
+        boolean hasSemicolon = false;
+        if (cursor < text.length() && (text.charAt(cursor) == '?' || text.charAt(cursor) == '>')) {
+            cursor++;
+        }
+        while (cursor < text.length()) {
+            char item = text.charAt(cursor);
+            if (item >= '0' && item <= '9') {
+                cursor++;
+                continue;
+            }
+            if (item == ';') {
+                hasSemicolon = true;
+                cursor++;
+                continue;
+            }
+            return item == 'c' && hasSemicolon && cursor > index && cursor - index <= 16;
+        }
+        return false;
+    }
+
+    private int skipNakedDeviceAttributesTail(String text, int index) {
+        int cursor = index;
+        while (cursor < text.length() && text.charAt(cursor) != 'c') {
+            cursor++;
+        }
+        return Math.min(cursor + 1, text.length());
+    }
+
    private int findAnsiEnd(String text, int start) {
        for (int index = start; index < text.length(); index++) {
            char item = text.charAt(index);