[ jEdit-devel ] [ jedit-Bugs-738931 ] Renaming a session does not change the name in the XML file

[SourceForge.net <no...@so...>]

Bugs item #738931, was opened at 2003-05-16 16:13
Message generated for change (Tracker Item Submitted) made by Item Submitter
You can respond by visiting: 
https://sourceforge.net/tracker/?func=detail&atid=100588&aid=738931&group_id=588

Category: plugins
Group: None
Status: Open
Resolution: None
Priority: 5
Submitted By: Steve Jakob (sjakob)
Assigned to: Nobody/Anonymous (nobody)
Summary: Renaming a session does not change the name in the XML file

Initial Comment:
After renaming a session using the "Manage Sessions"
dialog, both the displayed session name and the session
filename change, but the session name stored in the XML
session file does not change.

----------------------------------------------------------------------

You can respond by visiting: 
https://sourceforge.net/tracker/?func=detail&atid=100588&aid=738931&group_id=588