From 8aefbef30b3488f9eb99867d3adfebe92c67b221 Mon Sep 17 00:00:00 2001
From: Dmitry Avdeev <Dmitry.Avdeev@jetbrains.com>
Date: Wed, 11 Mar 2015 12:40:28 +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 fd7a8a6cec92..d931300bddae 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(3, 0, 3, 5));
+    panel.setBorder(JBUI.Borders.empty(5, 0, 5, 5));
     panel.setMinimumSize(new Dimension(0, 0));
 
     add(BorderLayout.CENTER, panel);