Interface MarginProvider


  • public interface MarginProvider
    Interface for objects that want to add a component to the listings left margin.
    • 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.