public class SelectionHighlighter
extends java.lang.Object
implements java.awt.event.MouseMotionListener, java.awt.event.MouseListener
A simple Selection and Highlighter class for
XHTMLPanel
.
The current selection is available as a DOM Range via getSelectionRange. There is also a Swing
action to copy the selection contents to the clipboard:
SelectionHighlighter.CopyAction
, which
should be installed on the SelectionHighlighter
Usage: create the XHTMLPanel, create an instance of this class then call install. See also: /demos/samples/src/SelectionHighlighterTest.java
With thanks to Swing'sDefaultCaret
?????? | ???? |
---|---|
static class |
SelectionHighlighter.CopyAction |
class |
SelectionHighlighter.ViewModelInfo |
?????? | ????? |
---|---|
static java.lang.String |
copyAction |
?????? |
---|
SelectionHighlighter() |
?????? | ????? |
---|---|
void |
addChangeListener(javax.swing.event.ChangeListener l) |
void |
deinstall(XHTMLPanel panel) |
XHTMLPanel |
getComponent() |
org.w3c.dom.ranges.Range |
getSelectionRange() |
void |
install(XHTMLPanel panel) |
void |
mouseClicked(java.awt.event.MouseEvent e) |
void |
mouseDragged(java.awt.event.MouseEvent e) |
void |
mouseEntered(java.awt.event.MouseEvent e) |
void |
mouseExited(java.awt.event.MouseEvent e) |
void |
mouseMoved(java.awt.event.MouseEvent e) |
void |
mousePressed(java.awt.event.MouseEvent e) |
void |
mouseReleased(java.awt.event.MouseEvent e) |
void |
moveDot(SelectionHighlighter.ViewModelInfo pos) |
java.lang.String |
normalizeSpaces(java.lang.String s) |
void |
removeChangeListener(javax.swing.event.ChangeListener l) |
void |
selectAll() |
void |
setDot(SelectionHighlighter.ViewModelInfo pos) |
public static final java.lang.String copyAction
public void addChangeListener(javax.swing.event.ChangeListener l)
public void removeChangeListener(javax.swing.event.ChangeListener l)
public void install(XHTMLPanel panel)
public void deinstall(XHTMLPanel panel)
public void setDot(SelectionHighlighter.ViewModelInfo pos)
public void mouseDragged(java.awt.event.MouseEvent e)
mouseDragged
???? java.awt.event.MouseMotionListener
public void mouseMoved(java.awt.event.MouseEvent e)
mouseMoved
???? java.awt.event.MouseMotionListener
public void mouseClicked(java.awt.event.MouseEvent e)
mouseClicked
???? java.awt.event.MouseListener
public void mouseEntered(java.awt.event.MouseEvent e)
mouseEntered
???? java.awt.event.MouseListener
public void mouseExited(java.awt.event.MouseEvent e)
mouseExited
???? java.awt.event.MouseListener
public void mousePressed(java.awt.event.MouseEvent e)
mousePressed
???? java.awt.event.MouseListener
public void mouseReleased(java.awt.event.MouseEvent e)
mouseReleased
???? java.awt.event.MouseListener
public XHTMLPanel getComponent()
public void selectAll()
public void moveDot(SelectionHighlighter.ViewModelInfo pos)
public java.lang.String normalizeSpaces(java.lang.String s)
public org.w3c.dom.ranges.Range getSelectionRange()