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