mirror of
https://gitflic.ru/project/openide/openide.git
synced 2026-09-27 10:03:11 +07:00
Registry: remove "ide.scroll.bar.expand.animation" property
This commit is contained in:
@@ -101,7 +101,7 @@ class DefaultScrollBarUI extends ScrollBarUI {
|
||||
}
|
||||
|
||||
boolean isTrackExpandable() {
|
||||
return Registry.is("ide.scroll.bar.expand.animation");
|
||||
return false;
|
||||
}
|
||||
|
||||
boolean isTrackContains(int x, int y) {
|
||||
|
||||
@@ -115,7 +115,6 @@ ide.scroll.default.unit.increment.description=Use default unit increment from Ja
|
||||
ide.scroll.new.layout=true
|
||||
ide.scroll.align.component=true
|
||||
ide.scroll.background.auto=true
|
||||
ide.scroll.bar.expand.animation=false
|
||||
ide.scroll.track.border.paint=false
|
||||
ide.scroll.thumb.border.rounded=false
|
||||
ide.scroll.thumb.small.if.opaque=true
|
||||
|
||||
Reference in New Issue
Block a user