Saving by Pressing Enter[]
I can confirm that pressing enter saves the level. You can easily check this yourself by opening the .minecraft folder in a file explorer, opening the game, and then pressing enter. The modification time of the level.dat file will change. The relevant part of the code can be found inside RubyDung#render --Hmry (talk) 17:23, 25 November 2020 (UTC)