Portals; Can be automatically saved when run

Portals can now be saved automatically when they are being run if the option - Tools, User Preferences, Developer, General, Automatically save script before running? is enabled.