diff --git a/platform/platform-impl/src/com/intellij/ide/ui/laf/LafManagerImpl.kt b/platform/platform-impl/src/com/intellij/ide/ui/laf/LafManagerImpl.kt index 4d99cfebe4b1..95c248bb245d 100644 --- a/platform/platform-impl/src/com/intellij/ide/ui/laf/LafManagerImpl.kt +++ b/platform/platform-impl/src/com/intellij/ide/ui/laf/LafManagerImpl.kt @@ -674,14 +674,14 @@ class LafManagerImpl : LafManager(), PersistentStateComponent, Disposab } if (newDensity == UIDensity.COMPACT) { // main toolbar - defaults.put(JBUI.CurrentTheme.Toolbar.experimentalToolbarButtonSizeKey(), JBUI.size(34, 34)) + defaults.put(JBUI.CurrentTheme.Toolbar.experimentalToolbarButtonSizeKey(), JBUI.size(34, 34).asUIResource()) defaults.put(JBUI.CurrentTheme.Toolbar.experimentalToolbarButtonIconSizeKey(), 16) defaults.put(JBUI.CurrentTheme.Toolbar.experimentalToolbarFontKey(), Supplier { JBFont.medium() }) - defaults.put(JBUI.CurrentTheme.TitlePane.buttonPreferredSizeKey(), JBUI.size(44, 34)) + defaults.put(JBUI.CurrentTheme.TitlePane.buttonPreferredSizeKey(), JBUI.size(44, 34).asUIResource()) // tool window stripes - defaults.put(JBUI.CurrentTheme.Toolbar.stripeToolbarButtonSizeKey(), JBUI.size(32, 32)) + defaults.put(JBUI.CurrentTheme.Toolbar.stripeToolbarButtonSizeKey(), JBUI.size(32, 32).asUIResource()) defaults.put(JBUI.CurrentTheme.Toolbar.stripeToolbarButtonIconSizeKey(), 16) - defaults.put(JBUI.CurrentTheme.Toolbar.stripeToolbarButtonIconPaddingKey(), JBUI.insets(4)) + defaults.put(JBUI.CurrentTheme.Toolbar.stripeToolbarButtonIconPaddingKey(), JBUI.insets(4).asUIResource()) // Run Widget defaults.put(JBUI.CurrentTheme.RunWidget.toolbarHeightKey(), 26) defaults.put(JBUI.CurrentTheme.RunWidget.toolbarBorderHeightKey(), 4) @@ -691,11 +691,11 @@ class LafManagerImpl : LafManager(), PersistentStateComponent, Disposab // lists defaults.put("List.rowHeight", 24) // status bar - defaults.put(JBUI.CurrentTheme.StatusBar.Widget.insetsKey(), JBUI.insets(4, 8, 3, 8)) - defaults.put(JBUI.CurrentTheme.StatusBar.Breadcrumbs.navBarInsetsKey(), JBUI.insets(1, 0, 1, 4)) + defaults.put(JBUI.CurrentTheme.StatusBar.Widget.insetsKey(), JBUI.insets(4, 8, 3, 8).asUIResource()) + defaults.put(JBUI.CurrentTheme.StatusBar.Breadcrumbs.navBarInsetsKey(), JBUI.insets(1, 0, 1, 4).asUIResource()) defaults.put(JBUI.CurrentTheme.StatusBar.fontKey(), Supplier { JBFont.medium() }) // separate navbar - defaults.put(JBUI.CurrentTheme.NavBar.itemInsetsKey(), JBUI.insets(2)) + defaults.put(JBUI.CurrentTheme.NavBar.itemInsetsKey(), JBUI.insets(2).asUIResource()) // editor tabs defaults.put("EditorTabs.tabInsets", JBInsets(1, 12, 1, 8).asUIResource()) defaults.put(JBUI.CurrentTheme.EditorTabs.fontKey(), Supplier { JBFont.medium() })