Revision history  [back]

This should be fixed by update 7.2.1.2, which you can get with Check for Updates from the Help menu. Thanks for reporting this problem!