fiji/fiji — pull request #31 by sinverso (2013-07-25 20:33:56+00:00)
Title: Script_Editor: Save preferences

Broke out save preferences from previous Script_Editor pull request. This also contains emulatedTabs because emulated tabs because emulated tab preference is saved as well.