[ jEdit-devel ] [ jedit-Patches-1725012 ] Sessions plugin: patch for plugin bug #1724376

Patches item #1725012, was opened at 2007-05-24 09:11
Message generated for change (Comment added) made by ezust
You can respond by visiting: 
https://sourceforge.net/tracker/?func=detail&atid=300588&aid=1725012&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: None
Group: None
Status: Open
Resolution: None
Priority: 5
Private: No
Submitted By: javacorner (javacorner)
>Assigned to: Steve Jakob (sjakob)
>Summary: Sessions plugin: patch for plugin bug #1724376

Initial Comment:
Someone told me that it is better to post patches here instead on jedit-devel mail list as I did, see my message there for details. I apologize for the inconvenience.

The attached patch fixes the Session-1.4.0 plugin bug:
http://sourceforge.net/tracker/index.php?func=detail&aid=1724376&group_id=588&atid=565475

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

>Comment By: Alan Ezust (ezust)
Date: 2007-06-30 14:37

Message:
Logged In: YES 
user_id=935841
Originator: NO

Assigning to SJakob who is maintainer of Sessions plugin

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

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