Class Gutter.GutterBorder

  • All Implemented Interfaces:
    java.io.Serializable, javax.swing.border.Border
    Enclosing class:
    Gutter

    public static class Gutter.GutterBorder
    extends javax.swing.border.EmptyBorder
    The border used by the gutter.
    See Also:
    Serialized Form
    • Field Summary

      Fields 
      Modifier and Type Field Description
      private java.awt.Color color  
      private java.awt.Rectangle visibleRect  
      • Fields inherited from class javax.swing.border.EmptyBorder

        bottom, left, right, top
    • Constructor Summary

      Constructors 
      Constructor Description
      GutterBorder​(int top, int left, int bottom, int right)  
    • Method Summary

      All Methods Instance Methods Concrete Methods 
      Modifier and Type Method Description
      java.awt.Color getColor()  
      void paintBorder​(java.awt.Component c, java.awt.Graphics g, int x, int y, int width, int height)  
      void setColor​(java.awt.Color color)  
      void setEdges​(int top, int left, int bottom, int right)
      Sets the edges of the gutter.
      • Methods inherited from class javax.swing.border.EmptyBorder

        getBorderInsets, getBorderInsets, isBorderOpaque
      • Methods inherited from class javax.swing.border.AbstractBorder

        getBaseline, getBaselineResizeBehavior, getBorderInsets, getInteriorRectangle, getInteriorRectangle
      • Methods inherited from class java.lang.Object

        clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait
    • Field Detail

      • color

        private java.awt.Color color
      • visibleRect

        private java.awt.Rectangle visibleRect
    • Constructor Detail

      • GutterBorder

        public GutterBorder​(int top,
                            int left,
                            int bottom,
                            int right)
    • Method Detail

      • getColor

        public java.awt.Color getColor()
      • paintBorder

        public void paintBorder​(java.awt.Component c,
                                java.awt.Graphics g,
                                int x,
                                int y,
                                int width,
                                int height)
        Specified by:
        paintBorder in interface javax.swing.border.Border
        Overrides:
        paintBorder in class javax.swing.border.EmptyBorder
      • setColor

        public void setColor​(java.awt.Color color)
      • setEdges

        public void setEdges​(int top,
                             int left,
                             int bottom,
                             int right)
        Sets the edges of the gutter.
        Parameters:
        top - The top value.
        left - The left value.
        bottom - The bottom value.
        right - The right value.