[petx]

Another bug:

Change the font size to be different from the default one, say 12. Now modify an open file in another application. After saving, the one opened in emeditor will be prompted for refresh. You will see that the font display changes to the default one (10) after refresh.