From b7c74dc51111c49cfe02ce334ace016280cb7cd4 Mon Sep 17 00:00:00 2001 From: Alexander Lobas Date: Fri, 29 Apr 2016 17:12:17 +0300 Subject: [PATCH] Padding for notification links --- .../intellij/notification/impl/NotificationsManagerImpl.java | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/platform/platform-impl/src/com/intellij/notification/impl/NotificationsManagerImpl.java b/platform/platform-impl/src/com/intellij/notification/impl/NotificationsManagerImpl.java index 136dbe0da5db..e1ffb42f2ae8 100644 --- a/platform/platform-impl/src/com/intellij/notification/impl/NotificationsManagerImpl.java +++ b/platform/platform-impl/src/com/intellij/notification/impl/NotificationsManagerImpl.java @@ -792,7 +792,7 @@ public class NotificationsManagerImpl extends NotificationsManager { hoverAdapter.addSource(centerPanel); if (expandAction != null) { - hoverAdapter.addComponent(expandAction, new Insets(5, 5, 7, 7)); + hoverAdapter.addComponent(expandAction, JBUI.insets(5, 5, 7, 7)); } if (buttons == null && actions) { @@ -908,7 +908,7 @@ public class NotificationsManagerImpl extends NotificationsManager { }, action)); } - Insets hover = new Insets(8, 5, 8, 7); + Insets hover = JBUI.insets(8, 5, 8, 7); int count = actionPanel.getComponentCount(); for (int i = 0; i < count; i++) {