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, wait
afterSelectionUpdate, beforeSelectionUpdate
beforeDocumentChange, bulkUpdateFinished, bulkUpdateStarting, documentChanged
public LivePreview(SearchResults searchResults)
public void selectionChanged(SelectionEvent e)
SelectionListener
selectionChanged
in interface SelectionListener
e
- the event containing information about the change.public static void processNotFound()
public void searchResultsUpdated(SearchResults sr)
searchResultsUpdated
in interface SearchResults.SearchResultsListener
public void cursorMoved()
cursorMoved
in interface SearchResults.SearchResultsListener
public void updateFinished()
updateFinished
in interface SearchResults.SearchResultsListener
public LivePreview.Delegate getDelegate()
public void setDelegate(LivePreview.Delegate delegate)
public void globalSchemeChange(EditorColorsScheme scheme)
globalSchemeChange
in interface EditorColorsListener
public void dispose()