From baff9f0de374f2375d651ae8811c652218a657e5 Mon Sep 17 00:00:00 2001
From: Konstantin Bulenkov <kb@jetbrains.com>
Date: Thu, 14 Nov 2013 12:59:41 +0100
Subject: [PATCH] make 'No matches' bold

---
 .../src/com/intellij/find/EditorSearchComponent.java      | 8 ++++++--
 1 file changed, 6 insertions(+), 2 deletions(-)

diff --git a/platform/lang-impl/src/com/intellij/find/EditorSearchComponent.java b/platform/lang-impl/src/com/intellij/find/EditorSearchComponent.java
index 75967cefbf02..da4024ed1147 100644
--- a/platform/lang-impl/src/com/intellij/find/EditorSearchComponent.java
+++ b/platform/lang-impl/src/com/intellij/find/EditorSearchComponent.java
@@ -208,7 +208,8 @@ public class EditorSearchComponent extends EditorHeaderComponent implements Data
         }
         else {
           setNotFoundBackground();
-          myMatchInfoLabel.setText("No matches");
+          myMatchInfoLabel.setText("No matches ");
+          boldMatchInfo();
         }
       }
       else {
@@ -898,7 +899,10 @@ public class EditorSearchComponent extends EditorHeaderComponent implements Data
   }
 
   private void boldMatchInfo() {
-    myMatchInfoLabel.setFont(myMatchInfoLabel.getFont().deriveFont(Font.BOLD));
+    Font font = myMatchInfoLabel.getFont();
+    if (!font.isBold()) {
+      myMatchInfoLabel.setFont(font.deriveFont(Font.BOLD));
+    }
   }
 
   private void setRegularBackground() {