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 it readable

Browse Source
This commit is contained in:
Konstantin Bulenkov
2013-05-04 17:23:51 +02:00
parent 1de50a627d
commit 3aa0316c2a
1 changed files with 5 additions and 2 deletions
Download Patch File Download Diff File Expand all files Collapse all files
platform/platform-impl/src/com/intellij/ide/ui/laf/darcula/ui/DarculaTextBorder.java
+5 -2
View File
@@ -31,8 +31,11 @@ import java.awt.*;
public class DarculaTextBorder implements Border, UIResource {
@Override
public Insets getBorderInsets(Component c) {
int off = DarculaTextFieldUI.isSearchField(c) ? 16 : 0;
return new InsetsUIResource(5, 7 + off + (off == 0 ? 0 : 3), 5, 7 + off);
if (DarculaTextFieldUI.isSearchField(c)) {
return new InsetsUIResource(5, 7 + 16 + 3, 5, 7 + 16);
} else {
return new InsetsUIResource(5, 7, 5, 7);
}
}
@Override