Module jEdit

Package org.gjt.sp.jedit.bufferset

Class BufferSetManager

java.lang.Object

org.gjt.sp.jedit.bufferset.BufferSetManager

public class BufferSetManager
extends Object

The buffersets manager. A singleton instance of this can be obtained from jEdit.getBufferSetManager()

Since:

jEdit 4.3pre15

Version:

$Id: jEdit.java 25120 2020-04-03 14:58:39Z kpouer $

Author:

Matthieu Casanova

Constructor Summary

Constructors

Constructor	Description
BufferSetManager()

Method Summary

Modifier and Type	Method	Description
void	addBuffer(EditPane editPane, Buffer buffer)	Add a buffer into 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
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 Details

BufferSetManager

public BufferSetManager()

Method Details

handleEditPaneUpdate

public void handleEditPaneUpdate(EditPaneUpdate message)

handlePropertiesChanged

public void handlePropertiesChanged(PropertiesChanged msg)

countBufferSets

public int countBufferSets(Buffer buffer)

Count the bufferSets in which the buffer is.

Parameters:

buffer - the buffer

Returns:

the number of buffersets in which buffer is

See Also:

• jEdit.closeBuffer(org.gjt.sp.jedit.EditPane, org.gjt.sp.jedit.Buffer)

setScope

public void setScope(BufferSet.Scope scope)

getScope

public BufferSet.Scope getScope()

addBuffer

public void addBuffer(View view,
 Buffer buffer)

Add a buffer into the current editPane of the given view. If the view is null, it will be added to the current editPane of the active view.

Parameters:

view - a view (or null)

buffer - the buffer to add

addBuffer

public void addBuffer(EditPane editPane,
 Buffer buffer)

Add a buffer into the given editPane. If the editPane is null, it will be added to the current editPane of the active view.

Parameters:

editPane - an EditPane (or null)

buffer - the buffer to add

moveBuffer

public 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.

removeBuffer

public void removeBuffer(EditPane editPane,
 Buffer buffer)

Remove a buffer from the EditPane's bufferSet.

Parameters:

editPane - the editPane It cannot be null

buffer - the buffer

removeBuffer

public void removeBuffer(Buffer buffer)

remove a buffer from all bufferSets.

Parameters:

buffer - the buffer that must be removed

createUntitledBuffer

public static Buffer createUntitledBuffer()

Create an untitled buffer

Returns:

the new untitled buffer

getOwners

public Set<BufferSet> getOwners(Buffer buffer)

Returns:

set of BufferSets that contain buffer

Since:

4.4pre1