i = unlocked.innerHTML.lastIndexOf('\\',j);
if (i >= 0) {
match = unlocked.innerHTML.substring(i,j);
- pre = unlocked.innerHTML.substring(0,i-1);
- post = unlocked.innerHTML.substring(j+1);
+ pre = unlocked.innerHTML.substring(0,i);
+ post = unlocked.innerHTML.substring(j);
if (match == '\\to') {
unlocked.innerHTML = pre + "-> " + post;
return suppressdefault(e,true);