unknown-horizons/unknown-horizons — pull request #2031 by ThePawnBreak (2013-02-23 20:12:22+00:00)
Title:  Add quick/auto saving of maps #1935

Unfortunately, F9 still loads the last quicksaved game, instead of the last map. We should decide whether we'd like it to load the last map or disable it in editor mode.