Edit-attention fixes

        // Set the selection to the text between the parenthesis

        const parenContent = text.substring(beforeParen + 1, selectionStart + afterParen);

        if (!/.*:[\d.]+/.test(parenContent)) return false;

        const lastColon = parenContent.lastIndexOf(":");

        selectionStart = beforeParen + 1;

        selectionEnd = selectionStart + lastColon;

    var closeCharacter = ')';

    var delta = opts.keyedit_precision_attention;

    if (selectionStart > 0 && text[selectionStart - 1] == '<') {

    if (selectionStart > 0 && /<.*:[\d.]+>/.test(text.slice(selectionStart - 1, selectionEnd + text.slice(selectionEnd).indexOf(">") + 1))) {

        closeCharacter = '>';

        delta = opts.keyedit_precision_extra;

    } else if (selectionStart == 0 || text[selectionStart - 1] != "(") {

    } else if (selectionStart > 0 && /\(.*\)|\[.*\]/.test(text.slice(selectionStart - 1, selectionEnd + 1))) {

        closeCharacter = null;

        if (isPlus) {

            text = text.slice(0, selectionStart) + text[selectionStart - 1] + text.slice(selectionStart, selectionEnd) + text[selectionEnd] + text.slice(selectionEnd);

            selectionStart++;

            selectionEnd++;

        } else {

            text = text.slice(0, selectionStart - 1) + text.slice(selectionStart, selectionEnd) + text.slice(selectionEnd + 1);

            selectionStart--;

            selectionEnd--;

        }

    } else if (selectionStart == 0 || !/\(.*:[\d.]+\)/.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 -= 1;

            selectionEnd--;

        }

        if (selectionStart == selectionEnd) {

            return;

        }

        text = text.slice(0, selectionStart) + "(" + text.slice(selectionStart, selectionEnd) + ":1.0)" + text.slice(selectionEnd);

        selectionStart += 1;

        selectionEnd += 1;

        selectionStart++;

        selectionEnd++;

    }

    if (closeCharacter) {

        var end = text.slice(selectionEnd + 1).indexOf(closeCharacter) + 1;

        var weight = parseFloat(text.slice(selectionEnd + 1, selectionEnd + end));

        if (isNaN(weight)) return;

        } else {

            text = text.slice(0, selectionEnd + 1) + weight + text.slice(selectionEnd + end);

        }

    }

    target.focus();

    target.value = text;