7.2 is released. We cannot reproduce the instability you are talking about but anything to help us reproduce the issue would be helpful.

For font anti-aliasing, it is a desktop settings, so you may have registered 7.1 to not perform it, and 7.2 being a new application does it. You should try removing all the 7.2 specific preferences and see if you have this behavior or not. On Unix, everything is stored under ~/.es/7.2 and ~/.es/eiffel_user_files/7.2.