diff options
| author | missionfloyd <missionfloyd@users.noreply.github.com> | 2023-10-01 00:37:44 +0000 |
|---|---|---|
| committer | missionfloyd <missionfloyd@users.noreply.github.com> | 2023-10-01 00:37:44 +0000 |
| commit | 0935d2c3047210b799cbc6f8ce15d3dffca95af7 (patch) | |
| tree | a58c64078233cea471ecf9bdc6685b999100ecba /javascript | |
| parent | 1cc7c4bfb31b80b6667154145f1455541951db18 (diff) | |
| download | stable-diffusion-webui-gfx803-0935d2c3047210b799cbc6f8ce15d3dffca95af7.tar.gz stable-diffusion-webui-gfx803-0935d2c3047210b799cbc6f8ce15d3dffca95af7.tar.bz2 stable-diffusion-webui-gfx803-0935d2c3047210b799cbc6f8ce15d3dffca95af7.zip | |
Use checkboxes for whitespace delimiters
Diffstat (limited to 'javascript')
| -rw-r--r-- | javascript/edit-attention.js | 8 |
1 files changed, 6 insertions, 2 deletions
diff --git a/javascript/edit-attention.js b/javascript/edit-attention.js index bc4ebed4..943d81b0 100644 --- a/javascript/edit-attention.js +++ b/javascript/edit-attention.js @@ -46,8 +46,12 @@ function keyupEditAttention(event) { function selectCurrentWord() { if (selectionStart !== selectionEnd) return false; - let delimiters = opts.keyedit_delimiters.replace(/(^|[^\\])(\\\\)*\\$/, "$&\\").replace(/(^|[^\\])((\\\\)*")/g, "$1\\$2"); - delimiters = JSON.parse(`"${delimiters}"`); + 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 while (!delimiters.includes(text[selectionStart - 1]) && selectionStart > 0) { |