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

update thickness of an opaque scroll bar after discussion with our designer

Browse Source
This commit is contained in:
Sergey Malenkov
2017-02-15 21:40:19 +03:00
parent c2ea9cf4f1
commit df0ca8b0bb
2 changed files with 5 additions and 2 deletions
Download Patch File Download Diff File Expand all files Collapse all files
platform/platform-api/src/com/intellij/ui/components/DefaultScrollBarUI.java
+2 -2
View File
@@ -71,7 +71,7 @@ class DefaultScrollBarUI extends ScrollBarUI {
private int myOldValue;
DefaultScrollBarUI() {
this(13, 14, 10);
this(Registry.is("ide.scroll.thumb.small.if.opaque") ? 13 : 10, 14, 10);
}
DefaultScrollBarUI(int thickness, int thicknessMax, int thicknessMin) {
@@ -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, true);
paint(p, g, x, y, width, height, c, myThumbAnimator.myValue, Registry.is("ide.scroll.thumb.small.if.opaque"));
}
void onThumbMove() {
platform/util/resources/misc/registry.properties
+3
View File
@@ -133,6 +133,9 @@ ide.scroll.background.auto.description=Use background color of a view to paint v
ide.scroll.layout.header.over.corner=true
ide.scroll.layout.header.over.corner.description=Expand a scroll pane header if a scroll bar is opaque.
ide.scroll.thumb.small.if.opaque=false
ide.scroll.thumb.small.if.opaque.description=Allows to tune an opaque thumb thickness. Affects Windows and Linux only.
mac.scroll.thumb.darcula.color=166
mac.scroll.thumb.darcula.color.description=Allows to tune a thumb color in the editor component.