Learn how easy it is to sync an existing GitHub or Google Code repo to a SourceForge project! See Demo

Close

#3787 Buffer Options dialog displays wrong menu path

closed-fixed
Alan Ezust
3
2013-03-18
2013-03-18
Marco Hunsicker
No

When I open Utilities->Buffer Options, the dialog displays a wrong menu path: Utilities->Global Options... seems to have been renamed to Utilities->Options...

Discussion

  • Alan Ezust
    Alan Ezust
    2013-03-18

    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.

     
  •  
    Attachments
  • 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.

     
  • Alan Ezust
    Alan Ezust
    2013-03-18

    Thanks! the picture is worth 1000 words in this case.

     
  • Alan Ezust
    Alan Ezust
    2013-03-18

    • assigned_to: nobody --> ezust
     
  • Alan Ezust
    Alan Ezust
    2013-03-18

    • status: open --> closed-fixed
     
  • Alan Ezust
    Alan Ezust
    2013-03-18

    Committed 22856