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