From 6b0e80c5c76a92636c4a53cde2b5b501751d8579 Mon Sep 17 00:00:00 2001
From: Alexander Doroshko <alexander.doroshko@jetbrains.com>
Date: Thu, 10 Dec 2015 16:14:58 +0300
Subject: [PATCH] fix HTML detection: use BasicHTML.isHTMLString()

---
 platform/util/src/com/intellij/ui/TitlePanel.java | 3 ++-
 1 file changed, 2 insertions(+), 1 deletion(-)

diff --git a/platform/util/src/com/intellij/ui/TitlePanel.java b/platform/util/src/com/intellij/ui/TitlePanel.java
index 9803323c0b08..651a3692126b 100644
--- a/platform/util/src/com/intellij/ui/TitlePanel.java
+++ b/platform/util/src/com/intellij/ui/TitlePanel.java
@@ -20,6 +20,7 @@ import com.intellij.util.ui.JBUI;
 import com.intellij.util.ui.UIUtil;
 
 import javax.swing.*;
+import javax.swing.plaf.basic.BasicHTML;
 import java.awt.*;
 
 /**
@@ -63,7 +64,7 @@ public class TitlePanel extends CaptionPanel {
   }
 
   public void setText(String titleText) {
-    myHtml = titleText.indexOf('<') >= 0;
+    myHtml = BasicHTML.isHTMLString(titleText);
     myLabel.setText(titleText);
   }