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

#990 BufferLocal 1.6.0

Milestone: None

Status: closed-accepted

Owner: Townsfolk

Labels: None

Priority: 5

Updated: 2015-10-28

Created: 2015-09-17

Creator: Dale Anson

Private: No

{{{ BufferLocalPlugin 1.6.0
Source: Source code is in SVN with the tag 1.6.0
Announcement: Just a couple of minor bug fixes.
Requires Java 1.7
Requires jEdit 05.02.01.00

Short Description: BufferLocal provides a way to save buffer settings on a per-buffer basis without modifying the file.

Long Description: <html>

BufferLocal Plugin

The BufferLocal Plugin saves the settings made using the Buffer Options dialog and restores those settings the next time the file is opened. This means that you don't have to manually change the settings each time the file is opened.

}}}

Discussion

Townsfolk - 2015-10-28

Released to PC

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

Townsfolk - 2015-10-28

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:

BufferLocal 1.6.0

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

Group

Searches

Help

#990 BufferLocal 1.6.0

BufferLocal Plugin

Discussion