mirror of
https://gitflic.ru/project/openide/openide.git
synced 2026-09-18 09:34:34 +07:00
IDEA-169924 remove empty space under breadcrumbs in editor
This commit is contained in:
@@ -37,7 +37,7 @@ final class PsiBreadcrumbs extends Breadcrumbs {
|
||||
|
||||
void updateBorder(int offset) {
|
||||
// do not use scaling here because this border is used to align breadcrumbs with a gutter
|
||||
setBorder(new EmptyBorder(above ? 2 : 0, offset, above ? 0 : 2, 0));
|
||||
setBorder(new EmptyBorder(0, offset, 0, 0));
|
||||
}
|
||||
|
||||
@Override
|
||||
|
||||
Reference in New Issue
Block a user