Cursor 0.42: Fixes for editing and terminal

This update keeps your work saved and fixes a terminal problem.