I got it. Replace line 191-201 in dictionary.js with
Code:
// get position of colon
var colonIdx = res.indexOf(':');
// get line number
lineNo = Number(res.slice(0, colonIdx));
// remove line from string
res = res.slice(colonIdx + 1, res.length - 1);
// split remaining string at double space
var split = res.split(" ");
// put string into textfields
this.inputLine.setValue(split[0]); // term
this.printLines(txtFormat(split[1])); // definition
Learning my way into Javascript line for line...