[ jEdit-devel ] [ jedit-Bugs-665623 ] Switching Sessions using the drop down list causes freeze

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

Bugs item #665623, was opened at 2003-01-10 10:52
You can respond by visiting: 
https://sourceforge.net/tracker/?func=detail&atid=100588&aid=665623&group_id=588

Category: plugins
Group: None
Status: Open
Resolution: None
Priority: 5
Submitted By: Ian Fairman (ifairman)
Assigned to: Nobody/Anonymous (nobody)
Summary: Switching Sessions using the drop down list causes freeze

Initial Comment:
JEdit 4.1 pre 7
Sessions plugin 1.0.1
jdk1.3.1_06
Windows 2000 sp2

When using the drop down list to change sessions *most*
of the time it causes JEdit to freeze and I have to
kill the process. Using the "Manage Sessions..." button
and window seems to be reliable.

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

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