Reverse characters and corresponding per-character levels and glyph position adjustments.
179180181182183184185186187188189
if ( inline instanceof WordArea ) { WordArea w = (WordArea) inline; // if not already reversed, then reverse now if ( ! w.isReversed() ) { if ( ( reversals & 1 ) != 0 ) { w.reverse ( mirror ); } else if ( mirror && maybeNeedsMirroring() ) { w.mirror(); } } }