jEdit Sessions Plugin

By Dirk Möbius
$Date: 2014-12-01 04:57:24 +0000 (Mon, 01 Dec 2014) $

Introduction

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 Management

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.

Menu Actions

The following menu actions are available in menu Plugins>Sessions:

Key Actions

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

Customization

Appearance

You can customize the Sessions Plugin settings in Utilities>Global options>Plugin Options>Sessions. The following options are available:

License

The source code is distributed under the GPL. Please see http://www.fsf.org/copyleft/gpl.html

Credits

Thanks to the following people for helping to maintain Sessions Plugin over the years:

Feedback

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: