This bug is probably related to bug:
https://bugs.launchpad.net/leo-editor/+bug/1292207
But disabling plugins does not make the menu work in the demonstration file for this bug.
This bug is probably related to bug:
https:/ /bugs.launchpad .net/leo- editor/ +bug/1292207
But disabling plugins does not make the menu work in the demonstration file for this bug.