|
||||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | |||||||||
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |
java.lang.Objectorg.gjt.sp.jedit.bufferset.BufferSetManager
public class BufferSetManager
The buffersets manager. A singleton instance of this can be obtained from jEdit.getBufferSetManager()
Constructor Summary | |
---|---|
BufferSetManager()
|
Method Summary | |
---|---|
void |
addBuffer(EditPane editPane,
Buffer buffer)
Add a buffer into the current editPane of the given editPane. |
void |
addBuffer(View view,
Buffer buffer)
Add a buffer into the current editPane of the given view. |
int |
countBufferSets(Buffer buffer)
Count the bufferSets in which the buffer is. |
static Buffer |
createUntitledBuffer()
Create an untitled buffer |
java.util.Set<BufferSet> |
getOwners(Buffer buffer)
|
BufferSet.Scope |
getScope()
|
void |
handleEditPaneUpdate(EditPaneUpdate message)
|
void |
handlePropertiesChanged(PropertiesChanged msg)
|
void |
moveBuffer(EditPane editPane,
int oldPosition,
int newPosition)
Moves a buffer from a old position to a new position in the BufferSet used in an EditPane. |
void |
removeBuffer(Buffer buffer)
remove a buffer from all bufferSets. |
void |
removeBuffer(EditPane editPane,
Buffer buffer)
Remove a buffer from the EditPane's bufferSet. |
void |
setScope(BufferSet.Scope scope)
|
Methods inherited from class java.lang.Object |
---|
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait |
Constructor Detail |
---|
public BufferSetManager()
Method Detail |
---|
public void handleEditPaneUpdate(EditPaneUpdate message)
public void handlePropertiesChanged(PropertiesChanged msg)
public int countBufferSets(Buffer buffer)
buffer
- the buffer
jEdit.closeBuffer(org.gjt.sp.jedit.EditPane, org.gjt.sp.jedit.Buffer)
public void setScope(BufferSet.Scope scope)
public BufferSet.Scope getScope()
public void addBuffer(View view, Buffer buffer)
view
- a view (or null)buffer
- the buffer to addpublic void addBuffer(EditPane editPane, Buffer buffer)
editPane
- an EditPane (or null)buffer
- the buffer to addpublic void moveBuffer(EditPane editPane, int oldPosition, int newPosition)
public void removeBuffer(EditPane editPane, Buffer buffer)
editPane
- the editPane It cannot be nullbuffer
- the bufferpublic void removeBuffer(Buffer buffer)
buffer
- the buffer that must be removedpublic static Buffer createUntitledBuffer()
public java.util.Set<BufferSet> getOwners(Buffer buffer)
|
||||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | |||||||||
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |