mirror of
https://gitflic.ru/project/openide/openide.git
synced 2026-09-27 10:03:11 +07:00
Implement new Editor Tabs UI: Tabs: correct color keys (#IDEA-211774)
GitOrigin-RevId: 97d1a65163da79caaeb82843d2b2dc184624e23b
This commit is contained in:
committed by
intellij-monorepo-bot
parent
b67873510a
commit
070b5a79ed
@@ -292,4 +292,6 @@ CompletionPopup.nonFocusedState=true
|
||||
|
||||
NewClass.Panel.background=45494a
|
||||
NewClass.SearchField.background=3c3f41
|
||||
NewClass.separatorWidth=10
|
||||
NewClass.separatorWidth=10
|
||||
|
||||
EditorTabs.underlinedTabBackground=4E5254
|
||||
@@ -289,4 +289,6 @@ CompletionPopup.nonFocusedState=true
|
||||
|
||||
NewClass.Panel.background=f2f2f2
|
||||
NewClass.SearchField.background=ffffff
|
||||
NewClass.separatorWidth=10
|
||||
NewClass.separatorWidth=10
|
||||
|
||||
EditorTabs.underlinedTabBackground=fcfcfc
|
||||
Reference in New Issue
Block a user