Attempted fix for this bug: https://bugs.launchpad.net/leo-editor/+bug/1041906

Leo build: 20140824163710