jEdit / Plugin Central Submission / #1010 Reopen 0.6

jEdit is a programmer's text editor written in Java.

#1010 Reopen 0.6

Milestone: None

Status: closed-accepted

Owner: Townsfolk

Labels: None

Priority: 5

Updated: 2016-06-22

Created: 2016-05-21

Creator: Eric Le Lay

Private: No

{{{ Reopen 0.6
Source: Source code is in git with the tag reopen-0.6
Announcement: Compatibilty release for newer versions of jEdit.
Requires Java 1.6
Requires jEdit 05.03.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.

}}}

Discussion

Eric Le Lay - 2016-05-21

Reopen 0.5 should be marked "not after jEdit 5.1".

If you would like to refer to this comment somewhere else in this project, copy and paste the following link:

Townsfolk - 2016-06-22

status: open --> closed-accepted

assigned_to: Townsfolk
If you would like to refer to this comment somewhere else in this project, copy and paste the following link:

Townsfolk - 2016-06-22

Released to pc.

If you would like to refer to this comment somewhere else in this project, copy and paste the following link:

Reopen 0.6

jEdit is a programmer's text editor written in Java.

Group

Searches

Help

#1010 Reopen 0.6

Discussion