Menu
▾
▴
[ jEdit-devel ] [ jedit-Bugs-1969341 ] View -> Line Numbers not persistent
|
From: SourceForge.net <no...@so...> - 2008-05-23 10:33:38
|
Bugs item #1969341, was opened at 2008-05-22 07:36 Message generated for change (Comment added) made by kpouer You can respond by visiting: https://sourceforge.net/tracker/?func=detail&atid=100588&aid=1969341&group_id=588 Please note that this message will contain a full copy of the comment thread, including the initial issue submission, for this request, not just the latest update. Category: editor core Group: None Status: Open Resolution: None Priority: 5 Private: No Submitted By: Shlomy Reinstein (shlomy) Assigned to: Nobody/Anonymous (nobody) Summary: View -> Line Numbers not persistent Initial Comment: The menu item "View->Line Numbers" toggles the display of line numbers in the gutter temporarily - the setting is not persistent in the properties file. ---------------------------------------------------------------------- >Comment By: Matthieu Casanova (kpouer) Date: 2008-05-23 12:33 Message: Logged In: YES user_id=285591 Originator: NO Hi, I tried your patch, there is a problem : the Gutter is part of the independent textArea so it cannot call any method of jEdit I suggest to set the property in the action instead ---------------------------------------------------------------------- Comment By: Shlomy Reinstein (shlomy) Date: 2008-05-22 07:37 Message: Logged In: YES user_id=1477607 Originator: YES File Added: line_numbers.patch ---------------------------------------------------------------------- You can respond by visiting: https://sourceforge.net/tracker/?func=detail&atid=100588&aid=1969341&group_id=588 |