Learn how easy it is to sync an existing GitHub or Google Code repo to a SourceForge project! See Demo
When I open Utilities->Buffer Options, the dialog displays a wrong menu path: Utilities->Global Options... seems to have been renamed to Utilities->Options...
I am unable to reproduce this. Are you using Optional plugin? What version of jEdit? What version of Optional?
The different menu items (global options / options) have nothing to do with buffer options, so I don't understand what the first sentence has to do with the second.
Thanks for looking into this!
I've attached a file that highlights the wrong menu path. I'm using jEdit 5.0.0. No plugins.
Thanks! the picture is worth 1000 words in this case.