Comment 12 for bug 875327

Excellent fixing.

Works solidly for me.

Test System:
Ubuntu 11.10 with Fluxbox window manager

Leo Log Window
Leo 4.9.1 devel, build 5115, 2012-03-11 11:58:16
Python 2.7.2, qt version 4.7.3
linux2
setting leoID from os.getenv('USER'): 'bob'
load dir: /home/bob/bzr/LeoLatest/leo/core
global config dir: /home/bob/bzr/LeoLatest/leo/config
home dir: /home/bob
reading settings in /home/bob/bzr/LeoLatest/leo/config/leoSettings.leo
reading settings in /home/bob/.leo/myLeoSettings.leo
reading settings in /media/datw1/BobH/1/Leo/other/headline-body-mismatch.leo
reading: /media/datw1/BobH/1/Leo/other/headline-body-mismatch.leo