Interface MarginProvider
-
public interface MarginProviderInterface for objects that want to add a component to the listings left margin.
-
-
Method Summary
All Methods Instance Methods Abstract Methods Modifier and Type Method Description javax.swing.JComponentgetComponent()Get the component to show the margin markers.MarkerLocationgetMarkerLocation(int x, int y)Get the marker location for the given x, y point.booleanisResizeable()Return whether the component can be resized.voidsetPixelMap(VerticalPixelAddressMap pixmap)Set the vertical pixel layout map.
-
-
-
Method Detail
-
getComponent
javax.swing.JComponent getComponent()
Get the component to show the margin markers.
-
isResizeable
boolean isResizeable()
Return whether the component can be resized.
-
setPixelMap
void setPixelMap(VerticalPixelAddressMap pixmap)
Set the vertical pixel layout map.- Parameters:
pixmap- the vertical pixel map to use.
-
getMarkerLocation
MarkerLocation getMarkerLocation(int x, int y)
Get the marker location for the given x, y point.- Parameters:
x- the horizontal coordinate.y- the vertical coordinate.
-
-