arnekeller/Typicalc
1
0
Fork 0
mirror of https://gitlab.kit.edu/uskyk/typicalc.git synced 2024-11-09 10:50:42 +00:00
Code Issues Packages Projects Releases Wiki Activity

Merge branch 'master' of https://git.scc.kit.edu/pse-typinferenz/typicalc

Browse Source
This commit is contained in:
ucrhh 2021-03-07 13:02:33 +01:00
commit f6112424ee
1 changed files with 8 additions and 12 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

20
frontend/src/type-input-listener.js
View File

@ -22,16 +22,16 @@ function listener(area) {
var value = parseBack(area.value);
var start = area.selectionStart;
var end = area.selectionEnd;
if (value.startsWith('t') && isNumeric(value.substr(1, value.length - 1))) {
area.value = value.replace('t', '\u03C4');
area.value = area.value.replace(/[0123456789]/g, toUnicode);
} else {
area.value = value;
}
// ignore brackets, allow '>' or spaces in front and '-' or spaces at the end of string
area.value = value.replace(/(^|\s+|\(|\)|>)t[0-9]+(?=\s+|\)|\(|\-|$)/ig, replacer);
area.selectionStart = start;
area.selectionEnd = end;
}
function replacer(value) {
value = value.replace('t', '\u03C4');
return value.replace(/[0123456789]/g, toUnicode);
}
function toUnicode(number) {
return subscripted[number];
@ -44,10 +44,6 @@ function toNumber(unicode) {
}
function parseBack(value) {
value = value.replace('\u03C4', 't');
value = value.replaceAll('\u03C4', 't');
return value.replace(/./g, toNumber);
}
function isNumeric(value) {
return /^\d+$/.test(value);
}
}