[ jEdit-devel ] The bug on toggle line number

[Jimmy J. <x3...@gm...>]

this bug exists for several "pre" version,The toggle menu can only
open or close the line number but never  saves the status of
line-number switcher.people can only do it in the preference pane.so
needed it be modified?
Sorry,my English is not very well.