MDS/openide
1
0
Fork 0
mirror of https://gitflic.ru/project/openide/openide.git synced 2026-09-27 10:03:11 +07:00
Code Issues Packages Projects Releases Wiki Activity

IDEA-220250 New tooltip: support html formatting in header

Browse Source 
GitOrigin-RevId: e5166a61db55ec4f34b45ec58657e73be58ab379
This commit is contained in:
Kirill Kirichenko
2019-09-27 09:32:40 +00:00
committed by intellij-monorepo-bot
parent 7da5879ab6
commit 34ea8fb853
1 changed files with 10 additions and 3 deletions
Download Patch File Download Diff File Expand all files Collapse all files
platform/platform-api/src/com/intellij/ide/HelpTooltip.java
+10 -3
View File
@@ -36,6 +36,7 @@ import java.util.Arrays;
import java.util.Collection;
import java.util.Map;
import java.util.function.BooleanSupplier;
import java.util.regex.Pattern;
/**
* Standard implementation of help context tooltip.
@@ -110,6 +111,7 @@ public class HelpTooltip {
private static final String DOTS = "...";
private static final String PARAGRAPH_SPLITTER = "<p/?>";
private static final Pattern HTML_TAG = Pattern.compile("<b>|<br>");
private static final String TOOLTIP_PROPERTY = "JComponent.helpTooltip";
@@ -327,7 +329,7 @@ public class HelpTooltip {
boolean hasTitle = StringUtil.isNotEmpty(title);
if (hasTitle) {
tipPanel.add(new Header(), VerticalLayout.TOP);
tipPanel.add(hasHTMLTags(title) ? new Paragraph(title, false) : new Header(), VerticalLayout.TOP);
}
if (StringUtil.isNotEmpty(description)) {
@@ -355,6 +357,10 @@ public class HelpTooltip {
return tipPanel;
}
private static boolean hasHTMLTags(@Nullable String string) {
return StringUtil.isNotEmpty(string) && HTML_TAG.matcher(string).find();
}
private void installMouseListeners(@NotNull JComponent owner) {
owner.addMouseListener(myMouseListener);
owner.addMouseMotionListener(myMouseListener);
@@ -500,7 +506,8 @@ public class HelpTooltip {
Map<TextAttribute,?> tfa = font.getAttributes();
titleString = new AttributedString(title, tfa);
dotString = new AttributedString(DOTS, tfa);
shortcutString = StringUtil.isNotEmpty(shortcut) ? new AttributedString(shortcut, font.getAttributes()) : null;
boolean hasShortcut = StringUtil.isNotEmpty(shortcut);
shortcutString = hasShortcut ? new AttributedString(shortcut, font.getAttributes()) : null;
AttributedCharacterIterator paragraph = titleString.getIterator();
paragraphStart = paragraph.getBeginIndex();
@@ -511,7 +518,7 @@ public class HelpTooltip {
int titleWidth = UIUtilities.stringWidth(this, tfm, title);
FontMetrics fm = getFontMetrics(font);
titleWidth += StringUtil.isNotEmpty(shortcut) ? HGAP.get() + UIUtilities.stringWidth(this, fm, shortcut) : 0;
titleWidth += hasShortcut ? HGAP.get() + UIUtilities.stringWidth(this, fm, shortcut) : 0;
boolean limitWidth = StringUtil.isNotEmpty(description) || link != null;
isMultiline = limitWidth && titleWidth > MAX_WIDTH.get();