public final class ClipboardHistory
extends java.lang.Object
RTextArea
. This is
used for the "clipboard history" shortcut (Ctrl+Shift+V by default).Note that this class does not listen for all events on the system clipboard, because that functionality is pretty fragile. See http://stackoverflow.com/questions/5484927/listen-to-clipboard-changes-check-ownership for more information.
Modifier and Type | Method and Description |
---|---|
void |
add(java.lang.String str)
Adds an entry to the clipboard history.
|
static ClipboardHistory |
get()
Returns the singleton instance of this class, lazily creating it if
necessary.
|
java.util.List<java.lang.String> |
getHistory()
Returns the clipboard history, in most-recently-used order.
|
int |
getMaxSize()
Returns the maximum number of clipboard values remembered.
|
void |
setMaxSize(int maxSize)
Sets the maximum number of clipboard values remembered.
|
public void add(java.lang.String str)
str
- The text to add.getHistory()
public static ClipboardHistory get()
This method should only be called on the EDT.
public java.util.List<java.lang.String> getHistory()
public int getMaxSize()
setMaxSize(int)
public void setMaxSize(int maxSize)
maxSize
- The maximum number of clipboard values to remember.java.lang.IllegalArgumentException
- If maxSize
is not greater
than zero.getMaxSize()