Modifier and Type | Method and Description |
---|---|
Position |
Position.clone()
Returns a clone of this Position.
|
Position |
Selection.getEnd()
Returns the end of the selection.
|
Position |
TextFileEditor.getPosition()
Returns the current position.
|
Position |
Occurence.getPosition()
Returns the line number represented by this Occurence.
|
Position |
Selection.getStart()
Returns the start of the selection.l
|
Modifier and Type | Method and Description |
---|---|
void |
Selection.setEnd(Position end)
Sets the end position.
|
void |
TextFileEditor.setPosition(Position position)
Sets the current position.
|
void |
Selection.setStart(Position start)
Sets the start position.
|
Constructor and Description |
---|
Occurence(Position position,
TextBuffer buffer)
Creates a new instance of Occurence.
|
Selection(Position start,
Position end)
Creates a new instance of Selection.
|
Copyright © 2009-2012. All Rights Reserved.