Allow default word selection when not using better selection

Double-click in editor will just fall back to default word
selection when NOT using enhanced word selection.
This commit is contained in:
Raymond Hill 2020-12-24 08:34:45 -05:00
parent ab06a01062
commit 596f085fa5
No known key found for this signature in database
GPG Key ID: 25E1490B761470C2
1 changed files with 1 additions and 1 deletions

View File

@ -720,7 +720,7 @@ CodeMirror.registerHelper('fold', 'ubo-static-filtering', (( ) => {
end = ch + r[0].length; end = ch + r[0].length;
} }
} else if ( /\bvariable\b/.test(token) ) { } else if ( /\bvariable\b/.test(token) ) {
const l = /[#.]?[a-z0-9_-]+$/i.exec(s.slice(0, ch)); const l = /[#.][a-z0-9_-]+$/i.exec(s.slice(0, ch));
const r = /^[a-z0-9_-]+/i.exec(s.slice(ch)); const r = /^[a-z0-9_-]+/i.exec(s.slice(ch));
if ( l && r ) { if ( l && r ) {
beg = l.index; beg = l.index;