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