[ jEdit-devel ] [ jedit-Plugin Bugs-1108472 ] Sessions title bar not updated

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

Plugin Bugs item #1108472, was opened at 2005-01-24 12:12
Message generated for change (Tracker Item Submitted) made by Item Submitter
You can respond by visiting: 
https://sourceforge.net/tracker/?func=detail&atid=565475&aid=1108472&group_id=588

Category: None
Group: None
Status: Open
Resolution: None
Priority: 5
Submitted By: Bill Finger (fingew)
Assigned to: Nobody/Anonymous (nobody)
Summary: Sessions title bar not updated

Initial Comment:
When using the Sessions title-bar feature without the 
'Session' prefix, the title-bar is unchanged after Save As.

So, you have Session foo, so the title bar says:

jEdit - ( foo )

Then you do Sessions: Save As and use bar, you still 
have:

jEdit - ( foo )

This is with Sessions 1.2.2.

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

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