Searched refs:VKI_symbol (Results 1 – 3 of 3) sorted by last modified time
1063 this.VKI_symbol = {1417 if (this.VKI_symbol[lkey[0]]) {1418 var text = this.VKI_symbol[lkey[0]].split("\n");1542 if (this.VKI_symbol[lkey[vchar]]) {1543 var text = this.VKI_symbol[lkey[vchar]].split("\n");
1 …VKI_symbol={"\u00a0":"NB\nSP","\u200b":"ZW\nSP","\u200c":"ZW\nNJ","\u200d":"ZW\nJ"};this.VKI_numpa… class
986 this.VKI_symbol = { class1330 if (this.VKI_symbol[lkey[0]]) {1331 var text = this.VKI_symbol[lkey[0]].split("\n");1455 if (this.VKI_symbol[lkey[vchar]]) {1456 var text = this.VKI_symbol[lkey[vchar]].split("\n");