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

make 'No matches' bold

Browse Source
This commit is contained in:
Konstantin Bulenkov
2013-11-14 12:59:41 +01:00
parent 5d0e2d346c
commit baff9f0de3
1 changed files with 6 additions and 2 deletions
Download Patch File Download Diff File Expand all files Collapse all files
platform/lang-impl/src/com/intellij/find/EditorSearchComponent.java
+6 -2
View File
@@ -208,7 +208,8 @@ public class EditorSearchComponent extends EditorHeaderComponent implements Data
}
else {
setNotFoundBackground();
myMatchInfoLabel.setText("No matches");
myMatchInfoLabel.setText("No matches ");
boldMatchInfo();
}
}
else {
@@ -898,7 +899,10 @@ public class EditorSearchComponent extends EditorHeaderComponent implements Data
}
private void boldMatchInfo() {
myMatchInfoLabel.setFont(myMatchInfoLabel.getFont().deriveFont(Font.BOLD));
Font font = myMatchInfoLabel.getFont();
if (!font.isBold()) {
myMatchInfoLabel.setFont(font.deriveFont(Font.BOLD));
}
}
private void setRegularBackground() {