diff --git a/idea/src/org/jetbrains/jet/plugin/highlighter/HtmlTabledDescriptorRenderer.java b/idea/src/org/jetbrains/jet/plugin/highlighter/HtmlTabledDescriptorRenderer.java index 47cc4e57f9b..79056df76ab 100644 --- a/idea/src/org/jetbrains/jet/plugin/highlighter/HtmlTabledDescriptorRenderer.java +++ b/idea/src/org/jetbrains/jet/plugin/highlighter/HtmlTabledDescriptorRenderer.java @@ -60,7 +60,7 @@ public class HtmlTabledDescriptorRenderer extends TabledDescriptorRenderer { } } - private int countColumnNumber(TableRenderer table) { + private static int countColumnNumber(TableRenderer table) { int argumentsNumber = 0; for (TableRow row : table.rows) { if (row instanceof DescriptorRow) { @@ -110,7 +110,12 @@ public class HtmlTabledDescriptorRenderer extends TabledDescriptorRenderer { result.append(""); } - private void renderFunctionArguments(@Nullable JetType receiverType, @NotNull List argumentTypes, Predicate isErrorPosition, StringBuilder result) { + private static void renderFunctionArguments( + @Nullable JetType receiverType, + @NotNull List argumentTypes, + Predicate isErrorPosition, + StringBuilder result + ) { boolean hasReceiver = receiverType != null; tdSpace(result); String receiver = ""; @@ -213,10 +218,6 @@ public class HtmlTabledDescriptorRenderer extends TabledDescriptorRenderer { builder.append("
").append(text).append("
"); } - private static void tdRightBold(StringBuilder builder, String text) { - builder.append("
").append(text).append("
"); - } - private static void tdRightBoldColspan(StringBuilder builder, int colspan, String text) { builder.append("
").append(text).append("
"); }