diff options
| author | missionfloyd <missionfloyd@users.noreply.github.com> | 2023-09-30 01:09:09 -0600 |
|---|---|---|
| committer | missionfloyd <missionfloyd@users.noreply.github.com> | 2023-09-30 01:09:09 -0600 |
| commit | 1cc7c4bfb31b80b6667154145f1455541951db18 (patch) | |
| tree | b4ebe701a0ae4416d3d5ceb7ee436c507d7d14c9 /javascript | |
| parent | 5ef669de080814067961f28357256e8fe27544f4 (diff) | |
Allow editing whitespace delimiters
Diffstat (limited to 'javascript')
| -rw-r--r-- | javascript/edit-attention.js | 3 |
1 files changed, 2 insertions, 1 deletions
diff --git a/javascript/edit-attention.js b/javascript/edit-attention.js index 8906c892..bc4ebed4 100644 --- a/javascript/edit-attention.js +++ b/javascript/edit-attention.js @@ -46,7 +46,8 @@ function keyupEditAttention(event) { function selectCurrentWord() { if (selectionStart !== selectionEnd) return false; - const delimiters = opts.keyedit_delimiters + " \r\n\t"; + let delimiters = opts.keyedit_delimiters.replace(/(^|[^\\])(\\\\)*\\$/, "$&\\").replace(/(^|[^\\])((\\\\)*")/g, "$1\\$2"); + delimiters = JSON.parse(`"${delimiters}"`); // seek backward until to find beggining while (!delimiters.includes(text[selectionStart - 1]) && selectionStart > 0) { |