mirror of
https://gitflic.ru/project/openide/openide.git
synced 2026-09-27 10:03:11 +07:00
Registry: remove "ide.scroll.thumb.small.if.opaque" property
This commit is contained in:
@@ -127,7 +127,7 @@ class DefaultScrollBarUI extends ScrollBarUI {
|
||||
|
||||
void paintThumb(Graphics2D g, int x, int y, int width, int height, JComponent c) {
|
||||
RegionPainter<Float> p = ScrollColorProducer.isDark(c) ? ScrollPainter.Thumb.DARCULA : ScrollPainter.Thumb.DEFAULT;
|
||||
paint(p, g, x, y, width, height, c, myThumbAnimator.myValue, Registry.is("ide.scroll.thumb.small.if.opaque"));
|
||||
paint(p, g, x, y, width, height, c, myThumbAnimator.myValue, true);
|
||||
}
|
||||
|
||||
void onThumbMove() {
|
||||
|
||||
@@ -719,7 +719,7 @@ public class ButtonlessScrollBarUI extends BasicScrollBarUI {
|
||||
bounds.width -= vertical ? 1 : 0;
|
||||
bounds.height -= vertical ? 0 : 1;
|
||||
}
|
||||
else if (Registry.is("ide.scroll.thumb.small.if.opaque")) {
|
||||
else {
|
||||
bounds.x += 1;
|
||||
bounds.y += 1;
|
||||
bounds.width -= 2;
|
||||
|
||||
@@ -124,8 +124,6 @@ ide.scroll.align.component=true
|
||||
ide.scroll.background.auto=true
|
||||
ide.scroll.background.auto.description=Use background color of a view to paint viewport, scroll pane, and scroll bars.
|
||||
|
||||
ide.scroll.thumb.small.if.opaque=true
|
||||
|
||||
mac.scroll.horizontal.gap=false
|
||||
mac.scroll.horizontal.gap.description=Shows additional space after the last row of a list or a tree. Affect MacOS only. // Malenkov
|
||||
|
||||
|
||||
Reference in New Issue
Block a user