From 083cc1a52934dedd130a1dd0af9c5da77db58971 Mon Sep 17 00:00:00 2001
From: "Vassiliy.Kudryashov" <Vassiliy.Kudryashov@jetbrains.com>
Date: Mon, 16 Jul 2018 22:16:52 +0300
Subject: [PATCH] IDEA-195558 'Use dark header' setting is saved immediately

After-review: add legacy deprecated method for plugins if any
---
 platform/util/src/com/intellij/util/ui/UIUtil.java | 5 +++++
 1 file changed, 5 insertions(+)

diff --git a/platform/util/src/com/intellij/util/ui/UIUtil.java b/platform/util/src/com/intellij/util/ui/UIUtil.java
index 3a4a5a1e4169..68a6a2e90f30 100644
--- a/platform/util/src/com/intellij/util/ui/UIUtil.java
+++ b/platform/util/src/com/intellij/util/ui/UIUtil.java
@@ -101,6 +101,11 @@ public class UIUtil {
     UIManager.getDefaults().put("javax.swing.JLabel.userStyleSheet", UIUtil.JBHtmlEditorKit.createStyleSheet());
   }
 
+  @Deprecated
+  public static void decorateFrame(@NotNull JRootPane pane) {
+    decorateWindowHeader(pane);
+  }
+  
   public static void decorateWindowHeader(@NotNull JRootPane pane) {
     if (SystemInfo.isMac) {
       pane.putClientProperty("jetbrains.awt.windowDarkAppearance", Registry.is("ide.mac.allowDarkWindowDecorations") && isUnderDarcula());