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