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