aboutsummaryrefslogtreecommitdiff
path: root/javascript/edit-attention.js
diff options
context:
space:
mode:
authormissionfloyd <missionfloyd@users.noreply.github.com>2023-10-07 15:52:16 -0600
committermissionfloyd <missionfloyd@users.noreply.github.com>2023-10-07 15:52:16 -0600
commit3562b0dc7427e92828001cd713ff47a83255ccc8 (patch)
tree0fc5b21114502be8d874495d148cb6af3cada79a /javascript/edit-attention.js
parentfd51b8501e1d9f9380c948cbf665c7708baef5d6 (diff)
Fix negative values
Diffstat (limited to 'javascript/edit-attention.js')
-rw-r--r--javascript/edit-attention.js6
1 files changed, 3 insertions, 3 deletions
diff --git a/javascript/edit-attention.js b/javascript/edit-attention.js
index d7b6001b..89b37aaf 100644
--- a/javascript/edit-attention.js
+++ b/javascript/edit-attention.js
@@ -26,7 +26,7 @@ function keyupEditAttention(event) {
// Set the selection to the text between the parenthesis
const parenContent = text.substring(beforeParen + 1, selectionStart + afterParen);
- if (!/.*:[\d.]+/s.test(parenContent)) return false;
+ if (!/.*:-?[\d.]+/s.test(parenContent)) return false;
const lastColon = parenContent.lastIndexOf(":");
selectionStart = beforeParen + 1;
selectionEnd = selectionStart + lastColon;
@@ -67,7 +67,7 @@ function keyupEditAttention(event) {
var closeCharacter = ')';
var delta = opts.keyedit_precision_attention;
- if (selectionStart > 0 && /<.*:[\d.]+>/s.test(text.slice(selectionStart - 1, selectionEnd + text.slice(selectionEnd).indexOf(">") + 1))) {
+ if (selectionStart > 0 && /<.*:-?[\d.]+>/s.test(text.slice(selectionStart - 1, selectionEnd + text.slice(selectionEnd).indexOf(">") + 1))) {
closeCharacter = '>';
delta = opts.keyedit_precision_extra;
} else if (selectionStart > 0 && /\(.*\)|\[.*\]/s.test(text.slice(selectionStart - 1, selectionEnd + 1))) {
@@ -81,7 +81,7 @@ function keyupEditAttention(event) {
selectionStart--;
selectionEnd--;
}
- } else if (selectionStart == 0 || !/\(.*:[\d.]+\)/s.test(text.slice(selectionStart - 1, selectionEnd + text.slice(selectionEnd).indexOf(")") + 1))) {
+ } else if (selectionStart == 0 || !/\(.*:-?[\d.]+\)/s.test(text.slice(selectionStart - 1, selectionEnd + text.slice(selectionEnd).indexOf(")") + 1))) {
// do not include spaces at the end
while (selectionEnd > selectionStart && text[selectionEnd - 1] == ' ') {
selectionEnd--;