fix #292
Add an option in the preferences to disallow the automatic jump after a goal is completed. Jump can still be performed by calling next in command line.
Add an option in the preferences to disallow the automatic jump after a goal is completed. Jump can still be performed by calling next in command line.