MDS/openide
1
0
Fork 0
mirror of https://gitflic.ru/project/openide/openide.git synced 2026-09-27 10:03:11 +07:00
Code Issues Packages Projects Releases Wiki Activity

IDEA-131239 "Alt F3" search in editor should have "pink" background if there are no matches

Browse Source
This commit is contained in:
Vassiliy.Kudryashov
2014-10-13 20:56:12 +04:00
parent 0598d5e7e4
commit e03b39d12b
1 changed files with 11 additions and 11 deletions
Download Patch File Download Diff File Expand all files Collapse all files
platform/platform-api/src/com/intellij/ui/SearchTextField.java
+11 -11
View File
@@ -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() {