public class LivePreview extends java.lang.Object implements SearchResults.SearchResultsListener, SelectionListener, DocumentListener, EditorColorsListener
| Modifier and Type | Class and Description |
|---|---|
static interface |
LivePreview.Delegate |
| Modifier and Type | Field and Description |
|---|---|
static java.io.PrintStream |
ourTestOutput |
ARRAY_FACTORY, EMPTY_ARRAY| Constructor and Description |
|---|
LivePreview(SearchResults searchResults) |
| Modifier and Type | Method and Description |
|---|---|
void |
cursorMoved() |
void |
dispose() |
LivePreview.Delegate |
getDelegate() |
void |
globalSchemeChange(EditorColorsScheme scheme) |
static void |
processNotFound() |
void |
searchResultsUpdated(SearchResults sr) |
void |
selectionChanged(SelectionEvent e)
Called when the selected area in an editor is changed.
|
void |
setDelegate(LivePreview.Delegate delegate) |
void |
updateFinished() |
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, waitafterSelectionUpdate, beforeSelectionUpdatebeforeDocumentChange, bulkUpdateFinished, bulkUpdateStarting, documentChangedpublic LivePreview(SearchResults searchResults)
public void selectionChanged(SelectionEvent e)
SelectionListenerselectionChanged in interface SelectionListenere - the event containing information about the change.public static void processNotFound()
public void searchResultsUpdated(SearchResults sr)
searchResultsUpdated in interface SearchResults.SearchResultsListenerpublic void cursorMoved()
cursorMoved in interface SearchResults.SearchResultsListenerpublic void updateFinished()
updateFinished in interface SearchResults.SearchResultsListenerpublic LivePreview.Delegate getDelegate()
public void setDelegate(LivePreview.Delegate delegate)
public void globalSchemeChange(EditorColorsScheme scheme)
globalSchemeChange in interface EditorColorsListenerpublic void dispose()