public final class CodeDestinationController
extends java.lang.Object
Modifier and Type | Class and Description |
---|---|
static class |
CodeDestinationController.NavigationContextListener |
Modifier and Type | Method and Description |
---|---|
void |
addDestination(int line,
CodeDestination destination)
Add a destination to the code editor gutter.
|
void |
removeAllDestinations()
Remove all destinations.
|
public void addDestination(int line, CodeDestination destination)
line
- number (1 based) where the destination is to be added.public void removeAllDestinations()