diff options
author | AUTOMATIC1111 <16777216c@gmail.com> | 2023-10-01 04:04:08 +0000 |
---|---|---|
committer | GitHub <noreply@github.com> | 2023-10-01 04:04:08 +0000 |
commit | 7026b964761b107a7cb129e89bdfab79f02de385 (patch) | |
tree | c4b45a3421fe25bee14322e5b1a14e17c8d3d6b4 /javascript | |
parent | b2f9709538ee40c6bbf11e3f17f7e3ea4b9cb78a (diff) | |
parent | 56ef5e9d48750fd43f9faba31ff67e64368153b7 (diff) | |
download | stable-diffusion-webui-gfx803-7026b964761b107a7cb129e89bdfab79f02de385.tar.gz stable-diffusion-webui-gfx803-7026b964761b107a7cb129e89bdfab79f02de385.tar.bz2 stable-diffusion-webui-gfx803-7026b964761b107a7cb129e89bdfab79f02de385.zip |
Merge pull request #13444 from AUTOMATIC1111/edit-attn-delimiters
edit-attention: Allow editing whitespace delimiters
Diffstat (limited to 'javascript')
-rw-r--r-- | javascript/edit-attention.js | 22 |
1 files changed, 8 insertions, 14 deletions
diff --git a/javascript/edit-attention.js b/javascript/edit-attention.js index 8906c892..794453bf 100644 --- a/javascript/edit-attention.js +++ b/javascript/edit-attention.js @@ -18,22 +18,11 @@ function keyupEditAttention(event) { const before = text.substring(0, selectionStart); let beforeParen = before.lastIndexOf(OPEN); if (beforeParen == -1) return false; - let beforeParenClose = before.lastIndexOf(CLOSE); - while (beforeParenClose !== -1 && beforeParenClose > beforeParen) { - beforeParen = before.lastIndexOf(OPEN, beforeParen - 1); - beforeParenClose = before.lastIndexOf(CLOSE, beforeParenClose - 1); - } // Find closing parenthesis around current cursor const after = text.substring(selectionStart); let afterParen = after.indexOf(CLOSE); if (afterParen == -1) return false; - let afterParenOpen = after.indexOf(OPEN); - while (afterParenOpen !== -1 && afterParen > afterParenOpen) { - afterParen = after.indexOf(CLOSE, afterParen + 1); - afterParenOpen = after.indexOf(OPEN, afterParenOpen + 1); - } - if (beforeParen === -1 || afterParen === -1) return false; // Set the selection to the text between the parenthesis const parenContent = text.substring(beforeParen + 1, selectionStart + afterParen); @@ -46,9 +35,14 @@ function keyupEditAttention(event) { function selectCurrentWord() { if (selectionStart !== selectionEnd) return false; - const delimiters = opts.keyedit_delimiters + " \r\n\t"; + const whitespace_delimiters = {"Tab": "\t", "Carriage Return": "\r", "Line Feed": "\n"}; + let delimiters = opts.keyedit_delimiters; + + for (let i of opts.keyedit_delimiters_whitespace) { + delimiters += whitespace_delimiters[i]; + } - // seek backward until to find beggining + // seek backward to find beginning while (!delimiters.includes(text[selectionStart - 1]) && selectionStart > 0) { selectionStart--; } @@ -92,7 +86,7 @@ function keyupEditAttention(event) { } var end = text.slice(selectionEnd + 1).indexOf(closeCharacter) + 1; - var weight = parseFloat(text.slice(selectionEnd + 1, selectionEnd + 1 + end)); + var weight = parseFloat(text.slice(selectionEnd + 1, selectionEnd + end)); if (isNaN(weight)) return; weight += isPlus ? delta : -delta; |