Improving saved GP to close #1137 and whitespace.py

Maybe fb4fbe7 could be improved by showing a dialog asking the user if he wants to save, but imho the new behavior is better than the current.