From e03b39d12be36625402a2c8afa2b819f632da74a Mon Sep 17 00:00:00 2001 From: "Vassiliy.Kudryashov" Date: Mon, 13 Oct 2014 20:55:37 +0400 Subject: [PATCH] IDEA-131239 "Alt F3" search in editor should have "pink" background if there are no matches --- .../src/com/intellij/ui/SearchTextField.java | 22 +++++++++---------- 1 file changed, 11 insertions(+), 11 deletions(-) diff --git a/platform/platform-api/src/com/intellij/ui/SearchTextField.java b/platform/platform-api/src/com/intellij/ui/SearchTextField.java index da76de69da0b..d2a989d4e260 100644 --- a/platform/platform-api/src/com/intellij/ui/SearchTextField.java +++ b/platform/platform-api/src/com/intellij/ui/SearchTextField.java @@ -397,17 +397,17 @@ public class SearchTextField extends JPanel { } } - //@Override - //public Dimension getPreferredSize() { - // Dimension size = super.getPreferredSize(); - // Border border = super.getBorder(); - // if (border != null && UIUtil.isUnderAquaLookAndFeel()) { - // Insets insets = border.getBorderInsets(this); - // size.height += insets.top + insets.bottom; - // size.width += insets.left + insets.right; - // } - // return size; - //} + @Override + public Dimension getPreferredSize() { + Dimension size = super.getPreferredSize(); + Border border = super.getBorder(); + if (border != null && UIUtil.isUnderAquaLookAndFeel()) { + Insets insets = border.getBorderInsets(this); + size.height += insets.top + insets.bottom; + size.width += insets.left + insets.right; + } + return size; + } protected Runnable createItemChosenCallback(final JList list) { return new Runnable() {