Package io.github.qishr.cascara.ui.api
Interface TextEditor
java.lang.Object
io.github.qishr.cascara.ui.api.TextEditor
public interface TextEditor
Method Summary
| Modifier and Type | Method | Description |
|---|---|---|
| public abstract void | initialize() | |
| public abstract TextBuffer | getTextBuffer() | |
| public abstract void | setTextBuffer(TextBuffer buffer) | |
| public abstract void | scrollTo(int line) | |
| public abstract void | scrollTo(int line, int column) | |
| public abstract void | setHighlights(List<HighlightingToken> tokens) | |
| public abstract void | setDiagnostics(List<Diagnostic> diagnostics) |
Method Details
initialize
public abstract void initialize()
getTextBuffer
public abstract TextBuffer getTextBuffer()
setTextBuffer
public abstract void setTextBuffer(TextBuffer buffer)
scrollTo
public abstract void scrollTo(int line)
scrollTo
public abstract void scrollTo(int line, int column)
setHighlights
public abstract void setHighlights(List<HighlightingToken> tokens)
setDiagnostics
public abstract void setDiagnostics(List<Diagnostic> diagnostics)