From e9cd80c3ec5a2fe01c359ba3e6160647a00fa35f Mon Sep 17 00:00:00 2001 From: =?UTF-8?q?Yann=20C=C3=A9bron?= Date: Tue, 4 Dec 2018 12:25:17 +0100 Subject: [PATCH] [devkit] UiDefaultsHardcodedKeys: + "Separator.foreground" --- .../devkit-core/src/completion/UiDefaultsHardcodedKeys.java | 1 + 1 file changed, 1 insertion(+) diff --git a/plugins/devkit/devkit-core/src/completion/UiDefaultsHardcodedKeys.java b/plugins/devkit/devkit-core/src/completion/UiDefaultsHardcodedKeys.java index 925570bd3a42..5f663290de9e 100644 --- a/plugins/devkit/devkit-core/src/completion/UiDefaultsHardcodedKeys.java +++ b/plugins/devkit/devkit-core/src/completion/UiDefaultsHardcodedKeys.java @@ -717,6 +717,7 @@ public final class UiDefaultsHardcodedKeys { "SearchEverywhere.foreground", "SearchEverywhere.shortcutForeground", "Separator.background", + "Separator.foreground", "Separator.highlight", "Separator.separatorColor", "Separator.shadow",