Interface MarginProvider
-
public interface MarginProvider
Interface 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.JComponent
getComponent()
Get the component to show the margin markers.MarkerLocation
getMarkerLocation(int x, int y)
Get the marker location for the given x, y point.boolean
isResizeable()
Return whether the component can be resized.void
setPixelMap(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.
-
-