MDS/openide
1
0
Fork 0
mirror of https://gitflic.ru/project/openide/openide.git synced 2026-01-08 06:39:38 +07:00
Code Issues Packages Projects Releases Wiki Activity

[rd] GTW-4942: Support editor's scrollbar customization

Browse Source 
GitOrigin-RevId: cca0fb126d0178165e07a73cdfc41ebccb6d6b45
This commit is contained in:
Nikolay Rykunov
2024-07-23 19:47:44 +02:00
committed by intellij-monorepo-bot
parent fcf8160dea
commit 1ed3420118
1 changed files with 7 additions and 3 deletions
Download Patch File Download Diff File Expand all files Collapse all files

10
platform/platform-api/src/com/intellij/ui/components/DefaultScrollBarUI.java
View File

@@ -7,6 +7,7 @@ import com.intellij.ui.components.JBScrollPane.Alignment;
import com.intellij.ui.scale.JBUIScale;
import com.intellij.util.MathUtil;
import com.intellij.util.ui.*;
import org.jetbrains.annotations.ApiStatus;
import org.jetbrains.annotations.NotNull;
import org.jetbrains.annotations.Nullable;
@@ -19,9 +20,12 @@ import java.awt.event.*;
import java.beans.PropertyChangeEvent;
import java.beans.PropertyChangeListener;
class DefaultScrollBarUI extends ScrollBarUI {
static final Key<Component> LEADING = Key.create("JB_SCROLL_BAR_LEADING_COMPONENT");
static final Key<Component> TRAILING = Key.create("JB_SCROLL_BAR_TRAILING_COMPONENT");
@ApiStatus.Internal
public class DefaultScrollBarUI extends ScrollBarUI {
@ApiStatus.Internal
public static final Key<Component> LEADING = Key.create("JB_SCROLL_BAR_LEADING_COMPONENT");
@ApiStatus.Internal
public static final Key<Component> TRAILING = Key.create("JB_SCROLL_BAR_TRAILING_COMPONENT");
private final Listener myListener = new Listener();
private final Timer myScrollTimer = TimerUtil.createNamedTimer("ScrollBarThumbScrollTimer", 60, myListener);