From 2b48ff2773e836f88199e019f304bc1614f4f6c3 Mon Sep 17 00:00:00 2001 From: Sergey Malenkov Date: Wed, 11 Oct 2017 13:41:57 +0300 Subject: [PATCH] ScrollBarUI: remove unused deprecated MAXI_THUMB --- .../com/intellij/util/ui/ButtonlessScrollBarUI.java | 11 ----------- 1 file changed, 11 deletions(-) diff --git a/platform/platform-api/src/com/intellij/util/ui/ButtonlessScrollBarUI.java b/platform/platform-api/src/com/intellij/util/ui/ButtonlessScrollBarUI.java index 996ddbf9d85f..1e7729447a23 100644 --- a/platform/platform-api/src/com/intellij/util/ui/ButtonlessScrollBarUI.java +++ b/platform/platform-api/src/com/intellij/util/ui/ButtonlessScrollBarUI.java @@ -19,7 +19,6 @@ import com.intellij.openapi.application.Application; import com.intellij.openapi.application.ApplicationManager; import com.intellij.openapi.diagnostic.Logger; import com.intellij.openapi.util.Disposer; -import com.intellij.openapi.util.Key; import com.intellij.openapi.util.SystemInfo; import com.intellij.openapi.util.registry.Registry; import com.intellij.ui.Gray; @@ -45,16 +44,6 @@ import java.lang.reflect.Method; * @author Konstantin Bulenkov */ public class ButtonlessScrollBarUI extends BasicScrollBarUI { - /** - * This key is used in the {@link ButtonlessScrollBarUI} - * to paint the scrollbar maxi thumb. - * - * @see RegionPainter - * @see UIUtil#putClientProperty - */ - @Deprecated - public static final Key> MAXI_THUMB = Key.create("BUTTONLESS_SCROLL_BAR_UI_MAXI_THUMB"); - private static final Logger LOG = Logger.getInstance(ButtonlessScrollBarUI.class); @Deprecated