|
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 an accessory for a large component that has a vertical scroll bar such as table, list or tree.
| Method Summary | |
|---|---|
void |
addMarginPainter(MarginPainter painter)
Adds a margin painter to paint extra information on top of the current margin painted by paintMargin method. |
Component |
getMarginComponent()
Gets the margin component. |
MarginSupport |
getMarginSupport()
Gets the code editor. |
int |
getPreferredWidth()
Gets the preferred width of the margin. |
void |
paintMargin(Graphics g)
Paints the margin. |
void |
removeMarginPainter(MarginPainter painter)
Removes a margin painter added by addMarginPainter. |
void |
setMarginSupport(MarginSupport support)
Sets the code editor. |
| Method Detail |
|---|
MarginSupport getMarginSupport()
void setMarginSupport(MarginSupport support)
support - void paintMargin(Graphics g)
g - void addMarginPainter(MarginPainter painter)
painter - void removeMarginPainter(MarginPainter painter)
addMarginPainter.
painter - int getPreferredWidth()
Component getMarginComponent()
|
JIDE 3.5.15 | ||||||||
| PREV CLASS NEXT CLASS | FRAMES NO FRAMES | ||||||||
| SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD | ||||||||