From 35df034bd6ca391b3d687b2980a799fa5fbf223f Mon Sep 17 00:00:00 2001
From: Dmitry Avdeev <Dmitry.Avdeev@jetbrains.com>
Date: Wed, 11 Mar 2015 12:03:27 +0300
Subject: [PATCH] added some space for editor notifications

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

diff --git a/platform/platform-api/src/com/intellij/ui/EditorNotificationPanel.java b/platform/platform-api/src/com/intellij/ui/EditorNotificationPanel.java
index 3b8b66b416ff..fd7a8a6cec92 100644
--- a/platform/platform-api/src/com/intellij/ui/EditorNotificationPanel.java
+++ b/platform/platform-api/src/com/intellij/ui/EditorNotificationPanel.java
@@ -48,7 +48,7 @@ public class EditorNotificationPanel extends JPanel {
     JPanel panel = new NonOpaquePanel(new BorderLayout());
     panel.add(BorderLayout.CENTER, myLabel);
     panel.add(BorderLayout.EAST, myLinksPanel);
-    panel.setBorder(JBUI.Borders.empty(0, 0, 0, 5));
+    panel.setBorder(JBUI.Borders.empty(3, 0, 3, 5));
     panel.setMinimumSize(new Dimension(0, 0));
 
     add(BorderLayout.CENTER, panel);