* Added a check box to the galaxy editor for automatically saving changes.
* Proper header.