Just upgraded to 9.4.1. The editor seems to have changed completely, and not for the better:
- Using the spell-checker inserts text in the wrong font (9-point rather than 10-point), and with newlines before and after.
- I can no longer select text and drag it to a new place.
- The displayed font is not the correct size (seems to be 11 rather than 10-point).
Peter