diff options
author | Markus Keller | 2012-04-27 15:43:14 +0000 |
---|---|---|
committer | Markus Keller | 2012-04-27 15:52:45 +0000 |
commit | 71814d48a923c5a6fa5a7ec51a196e366a6dcc37 (patch) | |
tree | 24c74fb8d4f5b5db15a6a82280368d613b2e8094 | |
parent | ceab3c0e6320d35d3ac67512bbe480c3a742341a (diff) | |
download | eclipse.platform.text-71814d48a923c5a6fa5a7ec51a196e366a6dcc37.tar.gz eclipse.platform.text-71814d48a923c5a6fa5a7ec51a196e366a6dcc37.tar.xz eclipse.platform.text-71814d48a923c5a6fa5a7ec51a196e366a6dcc37.zip |
document behavior when GC is null
-rw-r--r-- | org.eclipse.jface.text/src/org/eclipse/jface/text/source/MatchingCharacterPainter.java | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/org.eclipse.jface.text/src/org/eclipse/jface/text/source/MatchingCharacterPainter.java b/org.eclipse.jface.text/src/org/eclipse/jface/text/source/MatchingCharacterPainter.java index f450fe41f62..371a285803d 100644 --- a/org.eclipse.jface.text/src/org/eclipse/jface/text/source/MatchingCharacterPainter.java +++ b/org.eclipse.jface.text/src/org/eclipse/jface/text/source/MatchingCharacterPainter.java @@ -206,7 +206,7 @@ public final class MatchingCharacterPainter implements IPainter, PaintListener { /** * Handles a redraw request. * - * @param gc the GC to draw into. + * @param gc the GC to draw into or <code>null</code> to send a redraw request if necessary */ private void handleDrawRequest(GC gc) { @@ -260,7 +260,7 @@ public final class MatchingCharacterPainter implements IPainter, PaintListener { /** * Highlights the given widget region. * - * @param gc the GC to draw into + * @param gc the GC to draw into or <code>null</code> to send a redraw request * @param offset the offset of the widget region * @param length the length of the widget region */ |