[jedit:plugin-bugs] #1863 The session plugin does not restore session name

For me, it really seems to work perfectly: When I choose a session, exit and re-start jEdit, the last session will be restored and it's name ist shown in jedit's title bar and in session toolbar. In session swither this session is selected. I'm on Win10 21H2, Java 11, jEdit 5.6.

Maybe Your problems go away when You start jedit with a clean settings directory?

From activity.log:
  java.version=11.0.14.1
  java.vm.version=11.0.14.1+1
  java.vm.name=OpenJDK 64-Bit Server VM
  java.runtime.version=11.0.14.1+1
  java.runtime.name=OpenJDK Runtime Environment
  java.vendor=Eclipse Adoptium
  java.compiler=null
  os.name=Windows 10
  os.version=10.0
  os.arch=amd64
  jEdit version 5.6.0



---

** [plugin-bugs:#1863] The session plugin does not restore session name**

**Status:** open
**Group:** 
**Created:** Wed Aug 17, 2016 01:51 PM UTC by Edward Diener
**Last Updated:** Mon May 02, 2022 12:12 AM UTC
**Owner:** nobody


Using the Session plugin, files open in a named session when jEdit exits are re-opened corrwectly when jEdit starts again. However the named session is not retained. Instead a Session called 'None' becomes the named session. This is not the way the Session plugin should work as I understand it. The named session I am using when I exit jEdit should be the named session that is being used when I start jEdit again.

This can easily be duplicated. Create your own session, open one or more files in that named session. Exit jEdit. Start jEdit again. You will correctly see the files that were opened when you exited jEdit as re-opened when you start jEdit again. However the named session which you were previously using is now called 'None' and if you now open files in that 'None' session and then switch to your previous named session you will see that the extra file(s) that you opened in the 'None' names session are not the same files that were previously opened in your original named session. This shows that the 'None' named session is NOT the same names session as the previous named session you were working under when you exited jEdit.

The actual named session needs to be retained when you restart jEdit, along with the files opened in that named session.


---

Sent from sourceforge.net because [email protected] is subscribed to https://sourceforge.net/p/jedit/plugin-bugs/

To unsubscribe from further messages, a project admin can change settings at https://sourceforge.net/p/jedit/admin/plugin-bugs/options.  Or, if this is a mailing list, you can unsubscribe from the mailing list.

-- 
-----------------------------------------------
jEdit Developers' List
[email protected]
https://lists.sourceforge.net/lists/listinfo/jedit-devel