diff options
Diffstat (limited to 'platform/platform-api/src/com/intellij/execution/process/ColoredOutputTypeRegistry.java')
| -rw-r--r-- | platform/platform-api/src/com/intellij/execution/process/ColoredOutputTypeRegistry.java | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/platform/platform-api/src/com/intellij/execution/process/ColoredOutputTypeRegistry.java b/platform/platform-api/src/com/intellij/execution/process/ColoredOutputTypeRegistry.java index 7fff03827fb4..be9dccb0dbca 100644 --- a/platform/platform-api/src/com/intellij/execution/process/ColoredOutputTypeRegistry.java +++ b/platform/platform-api/src/com/intellij/execution/process/ColoredOutputTypeRegistry.java @@ -8,6 +8,7 @@ import com.intellij.openapi.editor.markup.EffectType; import com.intellij.openapi.editor.markup.TextAttributes; import com.intellij.openapi.util.Key; import org.jetbrains.annotations.NonNls; +import org.jetbrains.annotations.NotNull; import java.awt.*; import java.util.HashMap; @@ -73,6 +74,7 @@ public class ColoredOutputTypeRegistry { see full doc at http://en.wikipedia.org/wiki/ANSI_escape_code */ + @NotNull public Key getOutputKey(@NonNls String attribute) { final Key key = myRegisteredKeys.get(attribute); if (key != null) { |