public final class EditorSelectionWrap extends java.lang.Object implements EditorSelection
Constructor and Description |
---|
EditorSelectionWrap() |
Modifier and Type | Method and Description |
---|---|
boolean |
canSupportEditor(BasicEditorPane editorPane)
Wrap selection is the 'standard' selection that editor panes support,
so this method always returns true.
|
void |
clearSelectionHighlights(HighlightLayer selectionLayer)
Clear the selection by removing any selection highlighting and permorming any other
internal clear operations.
|
void |
deinstall()
Disassociate the editor selection from an editor
|
void |
deleteSelection()
Remove the currently selected text (if any) from the document
|
void |
duplicate()
Duplicate the current selection.
|
int |
getDot() |
int |
getMark() |
java.lang.String |
getSelectedText() |
void |
insertText(int offset,
java.lang.String text)
Insert the given text at the given offset (Different selections will handle
things like newline characters differently).
|
void |
install(BasicEditorPane editor)
Associate the editor selection with an editor
|
boolean |
isInSelection(int offset)
Returns whether the given offset lies within the current selection bounds
|
void |
mouseDragged(java.awt.Point point,
int offset)
The mouse was dragged to the given point and offset
|
void |
selectAll()
Selects all characters in the document
|
void |
setDotPoint(java.awt.Point p)
Let the selection know the point (in editor coordinates) where the selection
end is designated.
|
void |
setMarkPoint(java.awt.Point p)
Let the selection know the point (in editor coordinates) where the selection
start is designated.
|
void |
updateSelectionHighlight(HighlightLayer layer,
HighlightStyle caretStyle)
Update the Editors selection highlight layer in response to a possible change
in selection
|
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait
determineMoveDot, determineSetDot
public int getMark()
getMark
in interface EditorSelection
public int getDot()
getDot
in interface EditorSelection
public java.lang.String getSelectedText()
getSelectedText
in interface EditorSelection
public void updateSelectionHighlight(HighlightLayer layer, HighlightStyle caretStyle)
EditorSelection
updateSelectionHighlight
in interface EditorSelection
layer
- The selection highlight layerpublic void install(BasicEditorPane editor)
EditorSelection
install
in interface EditorSelection
public void deinstall()
EditorSelection
deinstall
in interface EditorSelection
public void setMarkPoint(java.awt.Point p)
EditorSelection
setMarkPoint
in interface EditorSelection
p
- the Point where the selection beginpublic void setDotPoint(java.awt.Point p)
EditorSelection
setDotPoint
in interface EditorSelection
p
- the Point where the selection bounds endspublic void clearSelectionHighlights(HighlightLayer selectionLayer)
EditorSelection
clearSelectionHighlights
in interface EditorSelection
public void deleteSelection() throws javax.swing.text.BadLocationException
EditorSelection
deleteSelection
in interface EditorSelection
javax.swing.text.BadLocationException
public void insertText(int offset, java.lang.String text) throws javax.swing.text.BadLocationException
EditorSelection
insertText
in interface EditorSelection
javax.swing.text.BadLocationException
public boolean isInSelection(int offset)
EditorSelection
isInSelection
in interface EditorSelection
public void selectAll()
EditorSelection
selectAll
in interface EditorSelection
public boolean canSupportEditor(BasicEditorPane editorPane)
canSupportEditor
in interface EditorSelection
editorPane
- public void mouseDragged(java.awt.Point point, int offset)
EditorSelection
mouseDragged
in interface EditorSelection
point
- the point of the dragpublic void duplicate()
EditorSelection
duplicate
in interface EditorSelection