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 2896e38998
commit 0598d5e7e4
1 changed files with 1 additions and 1 deletions
Download Patch File Download Diff File Expand all files Collapse all files
platform/platform-api/src/com/intellij/ui/SearchTextField.java
+1 -1
View File
@@ -183,7 +183,7 @@ public class SearchTextField extends JPanel {
setBorder(new CompoundBorder(IdeBorderFactory.createEmptyBorder(2, 0, 2, 0), originalBorder));
myTextField.setOpaque(true);
//myTextField.setBorder(IdeBorderFactory.createEmptyBorder(0, 5, 0, 5));
myTextField.setBorder(IdeBorderFactory.createEmptyBorder(0, 5, 0, 5));
}
else {
setBorder(IdeBorderFactory.createEmptyBorder(2, 0, 2, 0));