external-repos/forge
1
0
Fork 0
mirror of https://github.com/Card-Forge/forge.git synced 2025-11-17 19:28:01 +00:00
Code Issues Packages Projects Releases Wiki Activity

Prevent weird diamond shaped scrollbar thumbs

Browse Source
This commit is contained in:
drdev
2014-01-22 03:34:58 +00:00
parent 23586a027e
commit 1709ed07c7
1 changed files with 14 additions and 6 deletions
Download Patch File Download Diff File Expand all files Collapse all files

20
forge-gui/src/main/java/forge/gui/toolbox/FSkin.java
View File

@@ -2462,8 +2462,12 @@ public enum FSkin {
int x3 = x + width; int x3 = x + width;
int arrowThickness = width / 2; int arrowThickness = width / 2;
if (arrowThickness > height / 2) { int maxArrowThickness = height / 2 - grooveSpace * 2;
arrowThickness = height / 2; if (maxArrowThickness < 0) {
maxArrowThickness = 0;
}
if (arrowThickness > maxArrowThickness) {
arrowThickness = maxArrowThickness;
} }
int y2 = y + arrowThickness; int y2 = y + arrowThickness;
int y3 = y + height - arrowThickness; int y3 = y + height - arrowThickness;
@@ -2479,8 +2483,12 @@ public enum FSkin {
int y3 = y + height; int y3 = y + height;
int arrowThickness = height / 2; int arrowThickness = height / 2;
if (arrowThickness > width / 2) { int maxArrowThickness = width / 2 - grooveSpace * 2;
arrowThickness = width / 2; if (maxArrowThickness < 0) {
maxArrowThickness = 0;
}
if (arrowThickness > maxArrowThickness) {
arrowThickness = maxArrowThickness;
} }
int x2 = x + arrowThickness; int x2 = x + arrowThickness;
int x3 = x + width - arrowThickness; int x3 = x + width - arrowThickness;
@@ -2503,7 +2511,7 @@ public enum FSkin {
//draw grooves if needed //draw grooves if needed
if (vertical) { if (vertical) {
if (height > width + grooveSpace * 2) { if (height > grooveSpace * 4) {
setGraphicsColor(g2d, grooveColor); setGraphicsColor(g2d, grooveColor);
int x2 = x + grooveSpace; int x2 = x + grooveSpace;
int x3 = x + width - grooveSpace; int x3 = x + width - grooveSpace;
@@ -2515,7 +2523,7 @@ public enum FSkin {
g2d.drawLine(x2, y4, x3, y4); g2d.drawLine(x2, y4, x3, y4);
} }
} }
else if (width > height + grooveSpace * 2) { else if (width > grooveSpace * 4) {
setGraphicsColor(g2d, grooveColor); setGraphicsColor(g2d, grooveColor);
int y2 = y + grooveSpace; int y2 = y + grooveSpace;
int y3 = y + height - grooveSpace; int y3 = y + height - grooveSpace;