60 

    60 

    61     /* public */

    61     /* public */

    62     static LayeredHighlighter.LayerPainter WindowsPainter = new WindowsHighlightPainter(null);

    62     static LayeredHighlighter.LayerPainter WindowsPainter = new WindowsHighlightPainter(null);

    63 

    63 

    64     /* public */

    64     /* public */

    65     static class WindowsCaret extends DefaultCaret

    66     static class WindowsCaret extends DefaultCaret

    66                      implements UIResource {

    67                      implements UIResource {

    67         /**

    68         /**

    68          * Gets the painter for the Highlighter.

    69          * Gets the painter for the Highlighter.

    69          *

    70          *