From c9a808c2842959a26e0d4635694d924d89476b6a Mon Sep 17 00:00:00 2001
From: Dmitry Avdeev <Dmitry.Avdeev@jetbrains.com>
Date: Mon, 15 Feb 2010 12:43:57 +0300
Subject: [PATCH] nice dotted border

---
 platform/platform-api/src/com/intellij/ui/EditorNotificationPanel.java | 1 +
 1 file changed, 1 insertion(+)

diff --git a/platform/platform-api/src/com/intellij/ui/EditorNotificationPanel.java b/platform/platform-api/src/com/intellij/ui/EditorNotificationPanel.java
index e6bb687ab6..333ee61e1c 100644
--- a/platform/platform-api/src/com/intellij/ui/EditorNotificationPanel.java
+++ b/platform/platform-api/src/com/intellij/ui/EditorNotificationPanel.java
@@ -43,6 +43,7 @@ public class EditorNotificationPanel extends JPanel {
 
     setPreferredSize(new Dimension(-1, 24));
     add(myLabel, BorderLayout.CENTER);
+    myLabel.setBorder(BorderFactory.createEmptyBorder(0, 10, 0, 0));
 
     myLinksPanel = new JPanel(new FlowLayout());
     myLinksPanel.setBackground(LightColors.YELLOW);
-- 
2.11.4.GIT