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

[UI] IDEA-298485 Compact Mode: convert dimensions / insets to UIResources

Browse Source 
It has no practical effect at the moment, but it's more correct, as UI Defaults are
expected to contain UIResources, so it may cause issues later if they aren't.

GitOrigin-RevId: 2922d34fc19aa6b58b52b05f8643cce9929c0740
This commit is contained in:
Sergei Tachenov
2023-01-31 08:23:19 +00:00
committed by intellij-monorepo-bot
parent 7ce7e4b99e
commit 8878a66833
1 changed files with 7 additions and 7 deletions
Download Patch File Download Diff File Expand all files Collapse all files
platform/platform-impl/src/com/intellij/ide/ui/laf/LafManagerImpl.kt
+7 -7
View File
@@ -674,14 +674,14 @@ class LafManagerImpl : LafManager(), PersistentStateComponent<Element>, 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<Element>, 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() })