This bug is invalid. However, a minor wishlist bug has been filed:
https://bugs.launchpad.net/leo-editor/+bug/670421
This bug is invalid. However, a minor wishlist bug has been filed:
https:/ /bugs.launchpad .net/leo- editor/ +bug/670421