if ( m.group(1) != null ) { int id = Util.strToInt(m.group(3), -1); markers = String.format("%c%c", TextFragment.MARKER_OPENING, TextFragment.toChar(fragment.getIndex(id))); int id = Util.strToInt(m.group(2).substring(1), -1); markers = String.format("%c%c", TextFragment.MARKER_ISOLATED, TextFragment.toChar(fragment.getIndex(id)));
if (flagsChunk.startsWith("^")) { flags = Util.strToInt(flagsChunk.substring(1), 0);