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

minor modification on the "Button with LED" shape

Browse Source
This commit is contained in:
hneemann 2019-11-11 11:14:55 +01:00
parent 76e744afb2
commit 594f0ee2f3
1 changed files with 11 additions and 11 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

12
src/main/java/de/neemann/digital/draw/shapes/ButtonLEDShape.java
View File

@ -72,17 +72,17 @@ public class ButtonLEDShape extends ButtonShape {
public void drawTo(Graphic graphic, Style heighLight) { public void drawTo(Graphic graphic, Style heighLight) {
super.drawTo(graphic, heighLight); super.drawTo(graphic, heighLight);
if (ledValue == null || ledValue.getBool()) { boolean ledOn = ledValue == null || ledValue.getBool();
boolean pressed = button != null && button.isPressed();
Vector center; Vector center;
if (button != null && button.isPressed()) { if (pressed) {
center = new Vector(-OUT_SIZE - 1, 0); center = new Vector(-OUT_SIZE - 1, 0);
} else } else
center = new Vector(-OUT_SIZE - 1 - ButtonShape.HEIGHT, -ButtonShape.HEIGHT); center = new Vector(-OUT_SIZE - 1 - ButtonShape.HEIGHT, -ButtonShape.HEIGHT);
if (ledOn)
graphic.drawCircle(center.add(-SIZE2, -SIZE2), center.add(SIZE2, SIZE2), color); graphic.drawCircle(center.add(-SIZE2, -SIZE2), center.add(SIZE2, SIZE2), color);
graphic.drawCircle(center.add(-SIZE2, -SIZE2), center.add(SIZE2, SIZE2), Style.THIN); graphic.drawCircle(center.add(-SIZE2, -SIZE2), center.add(SIZE2, SIZE2), Style.THIN);
} else {
Vector center = new Vector(-OUT_SIZE - 1 - ButtonShape.HEIGHT, -ButtonShape.HEIGHT);
graphic.drawCircle(center.add(-SIZE2, -SIZE2), center.add(SIZE2, SIZE2), Style.THIN);
}
} }
} }