| org.gjt.sp.jedit.buffer |
|
| Java Source File Name | Type | Comment |
| BufferAdapter.java | Class | An adapter you can subclass to avoid having to implement all the methods
of the
BufferListener interface. |
| BufferChangeAdapter.java | Class | An adapter you can subclass to avoid having to implement all the methods
of the
BufferChangeListener interface. |
| BufferChangeListener.java | Interface | A interface for notification of changes to buffer text. |
| BufferListener.java | Interface | A interface for notification of changes to buffer text.
This interface is new in jEdit 4.3pre3. |
| ContentManager.java | Class | A class internal to jEdit's document model. |
| DefaultFoldHandlerProvider.java | Class | |
| DummyFoldHandler.java | Class | A fold handler that does nothing. |
| ExplicitFoldHandler.java | Class | A fold handler that folds lines based on markers ("{{{" and "}}}")
embedded in the text. |
| FoldHandler.java | Class | Interface for obtaining the fold level of a specified line.
Plugins can provide fold handlers by defining entries in their
services.xml files like so:
<SERVICE CLASS="org.gjt.sp.jedit.buffer.FoldHandler" NAME="name">
new MyFoldHandler();
</SERVICE>
See
org.gjt.sp.jedit.ServiceManager for details. |
| FoldHandlerProvider.java | Interface | |
| IndentFoldHandler.java | Class | A fold handler that folds lines based on their indent level. |
| JEditBuffer.java | Class | A JEditBuffer represents the contents of an open text
file as it is maintained in the computer's memory (as opposed to
how it may be stored on a disk).
This class is partially thread-safe, however you must pay attention to two
very important guidelines:
- Changes to a buffer can only be made from the AWT thread.
- When accessing the buffer from another thread, you must
grab a read lock if you plan on performing more than one call, to ensure that
the buffer contents are not changed by the AWT thread for the duration of the
lock.
|
| KillRing.java | Class | The kill ring retains deleted text. |
| LineManager.java | Class | A class internal to jEdit's document model. |
| PositionManager.java | Class | A class internal to jEdit's document model. |
| UndoManager.java | Class | A class internal to jEdit's document model. |