|
JIDE 3.5.15 | ||||||||
| PREV CLASS NEXT CLASS | FRAMES NO FRAMES | ||||||||
| SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD | ||||||||
public interface Margin
An interface for the margin component. Margin is used for as children component for MarginArea in CodeEditor.
| Method Summary | |
|---|---|
CodeEditor |
getCodeEditor()
Gets the code editor. |
void |
setCodeEditor(CodeEditor editor)
Sets the code editor. |
| Methods inherited from interface com.jidesoft.margin.Margin |
|---|
addMarginPainter, getMarginComponent, getMarginSupport, getPreferredWidth, paintMargin, removeMarginPainter, setMarginSupport |
| Method Detail |
|---|
CodeEditor getCodeEditor()
void setCodeEditor(CodeEditor editor)
editor -
|
JIDE 3.5.15 | ||||||||
| PREV CLASS NEXT CLASS | FRAMES NO FRAMES | ||||||||
| SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD | ||||||||