TheCloud/Digital
1
0
Fork 0
mirror of https://github.com/hneemann/Digital.git synced 2025-09-27 15:03:21 -04:00
Code Issues Packages Projects Releases Wiki Activity

removed unnecessary type casting

Browse Source
This commit is contained in:
hneemann 2017-05-22 18:29:14 +02:00
parent f1c6356f89
commit e1a2709636
1 changed files with 1 additions and 1 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

2
src/main/java/de/neemann/gui/Screen.java
View File

@ -51,7 +51,7 @@ public final class Screen {
javax.swing.UIManager.put(key, new ScaleIcon(icon, scaling));
}
}
UIManager.put("ScrollBar.width", (int) (size * 17 / 12));
UIManager.put("ScrollBar.width", size * 17 / 12);
}
} catch (HeadlessException e) {
// run with defaults if headless