jEdit Community - Resources for users of the jEdit Text Editor
BufferLocal 1.2 update (BufferLocalPlugin.jar v1.2 by Dale Anson)
Submitted by daleanson on Monday, 9 August, 2004 - 16:25
Updated BufferLocal plugin. Fix for concurrent modification bug. Originally, BufferLocal was called "BufferMinder" and closed buffers that were open for a while but not used. These are known as "stale" buffers. Closing stale buffers helps reduce clutter without any work. This feature never made it into the initial release, but others have requested it, so it's back now. It is off by default, use the Plugin Options to turn it on and to adjust how long a file should be unused before it is closed. Files that need saved will not be closed, you'll need to save first. To turn on automatic buffer closing, click 'Plugins' then 'Plugin Options'. Select 'BufferLocal' from the tree on the left side. Check the box that says 'Close files not used'. Set the time limit with the spinner. When the 'Close files not used' box is unchecked, BufferLocal will still keep track of stale buffers. You can close stale buffers at any time by clicking 'Plugins', then 'BufferLocal', then 'Close Stale Buffers'.

Updated on 08/22/2004 - 18:28
Downloads: 1111

User login
Browse archives
« November 2024  
MoTuWeThFrSaSu
 
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
 
Poll
Are you interested in language packs for jEdit?
Yes, and I could help maintain translations
26%
Yes, I'd like to have translations
32%
Indifferent
35%
No, that'd be bad (please comment)
7%
Total votes: 1093
Syndication
file   ver   dls
German Localization light   4.4.2.1   101634
Context Free Art (*.cfdg)   0.31   46062
BBEdit scheme   1.0   18601
JBuilder scheme   .001   18502
ColdFusion scheme   1.0   18031
R Edit Mode - extensive version   0.1   17481
Advanced HTML edit mode   1.0   16213
Matlab Edit Mode   1.0   16075
jEdit XP icons   1.0   15236
XP icons for jEdit   1.1   14300