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: fix animators in editor's scroll bar

Browse Source
This commit is contained in:
Sergey Malenkov
2017-10-10 23:07:53 +03:00
parent 284e06c05c
commit f45e50cba9
1 changed files with 2 additions and 0 deletions
Download Patch File Download Diff File Expand all files Collapse all files
platform/platform-api/src/com/intellij/util/ui/ButtonlessScrollBarUI.java
+2
View File
@@ -437,6 +437,8 @@ public class ButtonlessScrollBarUI extends BasicScrollBarUI {
@Override
protected void installListeners() {
myDisposed = false;
initRegularThumbAnimator();
initMacScrollbarAnimators();