Sessions: None
maxwell <[email protected]>
| Newsgroups | gmane.editors.jedit.user |
|---|---|
| Message-ID | <[email protected]> |
Back in Feb 2015, I started a thread about the Sessions plugin:
http://jedit.9.x6.nabble.com/jEdit-users-jEdit-Sessions-plugin-td5005969.html
I mentioned back then that jEdit often started up with "Sessions: None"
at the top, even though it had in fact restored a saved session. At the
time, I attributed this to version 1.5.1 of the Sessions plugin; when
you updated that plugin to 1.6.1, I thought this problem went away.
Unfortunately, it did not.
I'm not sure how to reliably trigger this buglet. When I opened a
session in jEdit and closed and re-opened jEdit just now, it came back
with the previous session, as expected. However, the experimental
"Sessions: Properties" dialog still thought it was "Session: None"; when
I then used the Sessions Manager to (re-)load that same session, then
called up the "Sessions: Properties" dialog, the dialog correctly
identified the session.
I'd be happy to submit a bug report (which I think would have a fairly
low priority), but as I say I don't know how to reliably trigger the
problem. (I have however seen it on both my home computer an my
computer at work.) Has anyone else seen this, and if so, do you know
how to trigger it?
jEdit v5.3.0, Sessions plugin v1.6.1, Windows 7.
Mike Maxwell
------------------------------------------------------------------------------
--
-----------------------------------------------
jEdit Users' List
[email protected]
https://lists.sourceforge.net/lists/listinfo/jedit-users