{{{ Reopen 0.5
Source: Source code is in Git with the tag reopen-0.5
Announcement: German translation added
Requires Java 1.6
Requires jEdit 05.00.99.00
Short Description: The Reopen plugin provides a "reopen" action for reopening recently closed buffers, much like web-browsers reopen tabs.
Long Description: <html>
The Reopen plugin provides a "reopen" action for reopening recently closed buffers, much like web-browsers reopen tabs.
Contents of dirty buffers are saved.
History, buffer-local properties are not saved.
}}}
Log in to post a comment.
