File /usr/local/lib/python2.3/idlelib/ZoomHeight.py does not exist.