projects / idea / community.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 2896e38) | patch
IDEA-131239 "Alt F3" search in editor should have "pink" background if there are...
authorVassiliy.Kudryashov <Vassiliy.Kudryashov@jetbrains.com>
Mon, 13 Oct 2014 16:51:01 +0000 (20:51 +0400)
committerVassiliy.Kudryashov <Vassiliy.Kudryashov@jetbrains.com>
Mon, 13 Oct 2014 16:56:12 +0000 (20:56 +0400)
commit0598d5e7e499177257d439182c5ffbad785fc454
tree0e131a650d233bd683288df8551241ef3a3c0e34tree
parent2896e38998011fae6cfb6dc492a2fec745265addcommit | diff
IDEA-131239 "Alt F3" search in editor should have "pink" background if there are no matches
platform/platform-api/src/com/intellij/ui/SearchTextField.java diff | blob | history
IntelliJ IDEA Community Edition and IntelliJ Platform.