151152153154155156157158159160161
// Have we done this string already? if(! doneUnicodeStrings.contains(u)) { // Update for each new position for(short i=5; i<newPos.length; i++) { if(i != newPos[i]) { u.swapFontUse(i, newPos[i]); } } // Mark as done doneUnicodeStrings.add(u);
150151152153154155156157158159160
148149150151152153154155156157158