return;
// Store the characters to be transposed (including font information).
- char_type char1 = par.getChar(pos1);
+ char_type const char1 = par.getChar(pos1);
Font const font1 =
par.getFontSettings(cur.buffer().params(), pos1);
- char_type char2 = par.getChar(pos2);
+ char_type const char2 = par.getChar(pos2);
Font const font2 =
par.getFontSettings(cur.buffer().params(), pos2);