public class EditorGutterColumnManager extends ATEGutterColumnManager
textEditor| Constructor and Description |
|---|
EditorGutterColumnManager(GrammarWindow window) |
| Modifier and Type | Method and Description |
|---|---|
Set<Integer> |
getBreakpoints() |
String[] |
getColumns() |
int |
getColumnWidth(String column) |
List<ATEGutterItem> |
getGutterItems(String column) |
boolean |
handleClickInColumn(String column,
int rowTextIndex) |
getWidthclosepublic EditorGutterColumnManager(GrammarWindow window)
public String[] getColumns()
getColumns in class ATEGutterColumnManagerpublic int getColumnWidth(String column)
getColumnWidth in class ATEGutterColumnManagerpublic boolean handleClickInColumn(String column, int rowTextIndex)
handleClickInColumn in class ATEGutterColumnManagerpublic List<ATEGutterItem> getGutterItems(String column)
getGutterItems in class ATEGutterColumnManagerCopyright © 2013. All rights reserved.