equal
deleted
inserted
replaced
53 |
53 |
54 |
54 |
55 /** |
55 /** |
56 * Layered highlight renderer. |
56 * Layered highlight renderer. |
57 */ |
57 */ |
58 static public abstract class LayerPainter implements Highlighter.HighlightPainter { |
58 public abstract static class LayerPainter implements Highlighter.HighlightPainter { |
59 /** |
59 /** |
60 * @return a shape |
60 * @return a shape |
61 * @param g Graphics used to draw |
61 * @param g Graphics used to draw |
62 * @param p0 starting offset of view |
62 * @param p0 starting offset of view |
63 * @param p1 ending offset of view |
63 * @param p1 ending offset of view |