nice dotted border
authorDmitry Avdeev <Dmitry.Avdeev@jetbrains.com>
Mon, 15 Feb 2010 09:43:57 +0000 (15 12:43 +0300)
committerDmitry Avdeev <Dmitry.Avdeev@jetbrains.com>
Mon, 15 Feb 2010 09:43:57 +0000 (15 12:43 +0300)
platform/platform-api/src/com/intellij/ui/EditorNotificationPanel.java

index e6bb687..333ee61 100644 (file)
@@ -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);