private Header()

in intellij-plugin/educational-core/src/com/jetbrains/edu/coursecreator/projectView/SyncChangesHelpTooltip.java [702:722]


    private Header(boolean obeyWidth) {
      setFont(deriveHeaderFont(getFont()));
      setForeground(UIUtil.getToolTipForeground());

      String currentTitle = Objects.requireNonNullElse(title != null ? title.get() : null, "");
      if (obeyWidth || currentTitle.length() > MAX_WIDTH.get()) {
        View v = BasicHTML.createHTMLView(this, String.format("<html>%s%s</html>", currentTitle, getShortcutAsHTML()));
        float width = v.getPreferredSpan(View.X_AXIS);
        isMultiline = isMultiline || width > MAX_WIDTH.get();
        HtmlChunk.Element div = width > MAX_WIDTH.get() ? HtmlChunk.div().attr("width", MAX_WIDTH.get()) : HtmlChunk.div();
        setText(div.children(HtmlChunk.raw(currentTitle), HtmlChunk.raw(getShortcutAsHTML()))
                  .wrapWith(html())
                  .toString());
        setSizeForWidth(width);
      }
      else {
        setText(BasicHTML.isHTMLString(currentTitle) ?
                currentTitle :
                HtmlChunk.div().addRaw(currentTitle).addRaw(getShortcutAsHTML()).wrapWith(html()).toString());
      }
    }