jEdit Community home jEdit Community Wiki > Plugins > SessionsPlugin jEdit Community Wiki webs:
Main | Plugins | Know | TWiki | Sandbox
Plugins . { Changes | Index | Search | Go }

Sessions

The Sessions plugin maintains lists of open files - called sessions (aka workspaces) - and offers some functions to switch between them.

Plugin Page Form
Plugin Name?: Sessions
Category: File Management
Plugin Status: Mature
Maintainer: Steve Jakob?, Dirk Moebius?
Source Forge Account?:
Latest Version?: 1.0.2
Released: February 27, 2003
Where To Download: http://plugins.jedit.org/plugins/?Sessions
Description: The Sessions plugin maintains lists of open files - called sessions (aka workspaces) - and offers some functions to switch between them.
Compatibility: Works With 42?, Supports Dynamic Loading?

Topic SessionsPlugin . { Edit | Attach | Ref-By | Printable | Diffs | r1.3 | > | r1.2 | > | r1.1 | More }
Revision r1.3 - 09 Feb 2004 - 08:35 GMT - Brad Mace
Parents: Web Home
Copyright © 1999-2011 by the contributing authors. All material on this collaboration platform is the property of the contributing authors.
Ideas, requests, problems regarding jEdit Community Wiki? Send feedback.
Get jEdit at !SourceForge.net. Fast, secure and Free Open Source software downloads