jEdit Sessions Plugin |
By Dirk Möbius $Date: 2014-12-01 04:57:24 +0000 (Mon, 01 Dec 2014) $ |
The Sessions Plugin maintains lists of open files - called sessions (aka workspaces) - and offers some functions to switch between them.
Each View, or main window, can have a different active session, and switching sessions from one View should not affect the open files in other views (unless you are using Global Bufferset Scope - see BufferSets for details).
Each view "remembers" which session it is switched to, even after restarting jEdit. To tell Sessions to forget which views are open to which sessions, Plugins - Sessions - Clear View Sessions.
If the plugin options are checked, Sessions will rename the jEdit View, and add information about which session is active in the window title bar. If you've uninstalled Sessions, and want to clear the custom titlebar string, go to View - Set View Title and change it back to jEdit, or create a new View and close the old one.
Session data are stored as XML files in the plugins/sessions.SessionsPlugin/ folder under your JEDIT_SETTINGS directory. In versions prior to 1.6, these files were stored in the sessions/ folder in the same location. To continue using old session data, move the files into the new location.
The following menu actions are available in menu Plugins>Sessions:
The Sessions Plugin is fully keyboard navigable.
A recommendation is that you assign a keyboard shortcut to the action Manage Sessions.... from Utilities>Global options>Shortcuts. I suggest "A+s".
Key Shortcut | Action |
[Alt-s] | Show Session Manager |
[Up] / [Down] | Choose session |
[Enter] / [Return] | Jump to/Open selected session |
[Esc] | Close dialog |
You can customize the Sessions Plugin settings in Utilities>Global options>Plugin Options>Sessions. The following options are available:
The source code is distributed under the GPL. Please see http://www.fsf.org/copyleft/gpl.html
Thanks to the following people for helping to maintain Sessions Plugin over the years:
The preferred way to send bug reports against specific plugins is to use the jEdit Plugin Bugs Tracker on Sourceforge:
There is a separate tracker for Plugin Feature Requests.
You can also write to: