samaaron/sonic-pi — pull request #207 by jweather (2014-11-10 14:55:18+00:00)
Title: don't save workspaces that weren't successfully loaded

I can't figure out how to trigger this, but it just happened to me today -- after a failed startup, all my workspaces contain "#loading". This patch won't save the workspaces unless we received at least one /replace-buffer message from the server (ie, we loaded them succesfully)