Closing the editor upon saving changes leads to either a lot of re-opening the editor and trying to find where you left off or not saving changes as often and risking crashes.
Option #2 was my choice and the application crashed, losing all my changes.