Investigated https://bugs.launchpad.net/leo-editor/+bug/869098
The bug appears invalid.

Leo build: 20141018070024