SimpleTextAttributes (@NotNull MapInfo info) { if (info == MapInfo.SEPARATOR) { return new SimpleTextAttributes(SimpleTextAttributes.STYLE_BOLD | SimpleTextAttributes.STYLE_SMALLER, null); } else if (info.type == MapInfo.Type.INVALID) { return new SimpleTextAttributes(SimpleTextAttributes.STYLE_PLAIN, JBColor.RED); } else if (info.type == MapInfo.Type.UNREGISTERED) { return new SimpleTextAttributes(SimpleTextAttributes.STYLE_BOLD, JBColor.GRAY); } else { return SimpleTextAttributes.REGULAR_ATTRIBUTES; } }