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()