unknown-horizons/unknown-horizons — pull request #2033 by ThePawnBreak (2013-02-24 19:40:13+00:00)
Title: Editor mapsave #1935

I had trouble editing a commit for my master -> master pull request, so I am making a pull request from this branch instead.
I implemented quicksaving and autosaving for the editor session, and also replaced the message_widget and logbook dummies in horizons/editor/gui.py with real objects.