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

Registry: remove "ide.scroll.thumb.border.rounded" property

Browse Source
This commit is contained in:
Sergey Malenkov
2016-09-15 21:52:36 +03:00
parent 0e4d5e4981
commit 5d8b405d2f
2 changed files with 1 additions and 10 deletions
Download Patch File Download Diff File Expand all files Collapse all files
platform/platform-api/src/com/intellij/ui/components/ScrollPainter.java
+1 -9
View File
@@ -115,15 +115,7 @@ class ScrollPainter extends RegionPainter.Alpha {
}
protected void draw(Graphics2D g, int x, int y, int width, int height) {
if (Registry.is("ide.scroll.thumb.border.rounded")) {
g.drawLine(x + 1, y, x + width - 2, y);
g.drawLine(x + 1, y + height - 1, x + width - 2, y + height - 1);
g.drawLine(x, y + 1, x, y + height - 2);
g.drawLine(x + width - 1, y + 1, x + width - 1, y + height - 2);
}
else {
g.drawRect(x, y, width - 1, height - 1);
}
g.drawRect(x, y, width - 1, height - 1);
}
private static class Round extends ScrollPainter {
platform/util/resources/misc/registry.properties
-1
View File
@@ -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.thumb.border.rounded=false
ide.scroll.thumb.small.if.opaque=true
mac.scroll.horizontal.gap=false