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

ScrollBarUI: remove unused deprecated MAXI_THUMB

Browse Source
This commit is contained in:
Sergey Malenkov
2017-10-11 14:10:07 +03:00
parent 9f22ef5018
commit 2b48ff2773
1 changed files with 0 additions and 11 deletions
Download Patch File Download Diff File Expand all files Collapse all files
platform/platform-api/src/com/intellij/util/ui/ButtonlessScrollBarUI.java
-11
View File
@@ -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<RegionPainter<Integer>> MAXI_THUMB = Key.create("BUTTONLESS_SCROLL_BAR_UI_MAXI_THUMB");
private static final Logger LOG = Logger.getInstance(ButtonlessScrollBarUI.class);
@Deprecated