Gradio 4 + WebUI 1.10

2026-02-21 23:33:57 +00:00 · 2024-07-26 08:51:34 -07:00
parent e95333c556
commit e26abf87ec
201 changed files with 7562 additions and 4834 deletions
--- a/javascript/edit-attention.js
+++ b/javascript/edit-attention.js
@@ -64,6 +64,14 @@ function keyupEditAttention(event) {
            selectionEnd++;
        }

+        // deselect surrounding whitespace
+        while (text[selectionStart] == " " && selectionStart < selectionEnd) {
+            selectionStart++;
+        }
+        while (text[selectionEnd - 1] == " " && selectionEnd > selectionStart) {
+            selectionEnd--;
+        }
+
        target.setSelectionRange(selectionStart, selectionEnd);
        return true;
    }