public final class EditorSelectionWrap extends java.lang.Object implements EditorSelection, ActionHookInvoker
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 |
duplicateSelection()
Copies the selected text amd places the copy immediately after he original
selection.
|
java.lang.String |
getSelectedText() |
int |
getSelectionEnd() |
int |
getSelectionStart() |
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 |
invokeAction(java.lang.String actionKey)
Invokes the Action corresponding to the given actionKey.
|
boolean |
isInSelection(int offset)
Returns whether the given offset lies within the current selection bounds
|
void |
selectAll()
Selects all characters in the document
|
void |
setEndSelectionPoint(java.awt.Point p)
Let the selection know the point (in editor coordinates) where the selection
end is designated.
|
void |
setStartSelectionPoint(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
|
public int getSelectionStart()
getSelectionStart
in interface EditorSelection
public int getSelectionEnd()
getSelectionEnd
in interface EditorSelection
public java.lang.String getSelectedText()
getSelectedText
in interface EditorSelection
public void duplicateSelection()
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 boolean invokeAction(java.lang.String actionKey)
ActionHookInvoker
invokeAction
in interface ActionHookInvoker
actionKey
- the published key for the actionpublic void setStartSelectionPoint(java.awt.Point p)
EditorSelection
setStartSelectionPoint
in interface EditorSelection
p
- the Point where the selection beginpublic void setEndSelectionPoint(java.awt.Point p)
EditorSelection
setEndSelectionPoint
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
-