modified:   Navigator.py
	modified:   UserInterface.py
	modified:   options.ini