Bug fix for version 5.7.
The graphical format preference for "RTF copy/pastes" was not saved correctly.
Version 5.7 is mainly a bug fix for 5.6. It solves a problem on windows: the choice of transliteration font was not correctly kept when the font was the "old" JSesh transliteration font (non unicode).
Mainly bug fixes for 5.4/5.5