Package org.fife.ui.rtextarea

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.