_finally_ tracked down and eliminated a major problem

in PyShell.py that was causing extreme headaches in
working on EditorWindow.py