MDS/openide
1
0
Fork 0
mirror of https://gitflic.ru/project/openide/openide.git synced 2026-01-05 01:50:56 +07:00
Code Issues Packages Projects Releases Wiki Activity

IDEA-320087 Main toolbar: update hover area sizes

Browse Source 
GitOrigin-RevId: b47d5ab665c5b46b20255620d742566eb7374899
This commit is contained in:
Mikhail Sokolov
2023-06-29 17:32:14 +02:00
committed by intellij-monorepo-bot
parent adae055543
commit d161fb24ad
1 changed files with 1 additions and 1 deletions
Download Patch File Download Diff File Expand all files Collapse all files

2
platform/util/ui/src/com/intellij/util/ui/JBUI.java
View File

@@ -1174,7 +1174,7 @@ public final class JBUI {
public static final class Dropdown {
@NotNull public static Insets borderInsets() {
return insets("MainToolbar.Dropdown.borderInsets", isNewUI() ? insets(5, 12, 5, 6) : insets(3, 5));
return insets("MainToolbar.Dropdown.borderInsets", isNewUI() ? insets(5, 10, 5, 6) : insets(3, 5));
}
}