mirror of
https://gitflic.ru/project/openide/openide.git
synced 2026-09-27 10:03:11 +07:00
Registry: remove "ide.scroll.background.wide" property
This commit is contained in:
@@ -122,10 +122,6 @@ class DefaultScrollBarUI extends ScrollBarUI {
|
||||
|
||||
void paintTrack(Graphics2D g, int x, int y, int width, int height, JComponent c) {
|
||||
RegionPainter<Float> p = ScrollColorProducer.isDark(c) ? ScrollPainter.Track.DARCULA : ScrollPainter.Track.DEFAULT;
|
||||
if (!isTrackExpandable() && Registry.is("ide.scroll.background.wide")) {
|
||||
p.paint(g, x, y, width, height, myTrackAnimator.myValue);
|
||||
return; // temporary registry key for designer
|
||||
}
|
||||
paint(p, g, x, y, width, height, c, myTrackAnimator.myValue, false);
|
||||
}
|
||||
|
||||
|
||||
@@ -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.background.wide=false
|
||||
ide.scroll.bar.expand.animation=false
|
||||
ide.scroll.track.border.paint=false
|
||||
ide.scroll.thumb.border.rounded=false
|
||||
|
||||
Reference in New Issue
Block a user