Parent Directory | Revision Log | Patch
revision 1.1.2.3 by gnu_andrew, Tue Aug 2 20:12:38 2005 UTC | revision 1.1.2.4 by gnu_andrew, Wed Nov 2 00:44:02 2005 UTC | |
---|---|---|
# | Line 168 public class DefaultHighlighter extends | Line 168 public class DefaultHighlighter extends |
168 | ||
169 | public DefaultHighlighter() | public DefaultHighlighter() |
170 | { | { |
171 | // Nothing to do here. | |
172 | } | } |
173 | ||
174 | public boolean getDrawsLayeredHighlights() | public boolean getDrawsLayeredHighlights() |
# | Line 238 public class DefaultHighlighter extends | Line 239 public class DefaultHighlighter extends |
239 | Shape viewBounds, JTextComponent editor, | Shape viewBounds, JTextComponent editor, |
240 | View view) | View view) |
241 | { | { |
242 | // TODO: Implement this properly. | |
243 | } | } |
244 | ||
245 | public void paint(Graphics g) | public void paint(Graphics g) |
|
savannah-hackers-public@gnu.org | ViewVC Help |
Powered by ViewVC 1.1.26 |