Fixed bug https://bugs.launchpad.net/leo-editor/+bug/1260547

Leo build: 20141017111800