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

Changed visual representation of initial state to avoid confusion with

Browse Source 
a accepting state.
This commit is contained in:
hneemann 2019-01-03 12:25:20 +01:00
parent fd8a5bef54
commit e8290f5261
1 changed files with 3 additions and 4 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

7
src/main/java/de/neemann/digital/fsm/State.java
View File

@ -95,12 +95,11 @@ public class State extends Movable<State> {
if (getFsm().getActiveState() == number)
style = Style.HIGHLIGHT;
if (number == 0)
style = style.deriveStyle(style.getThickness() * 2, false, style.getColor());
VectorInterface rad = new Vector(radius, radius);
gr.drawCircle(getPos().sub(rad), getPos().add(rad), style);
if (number == 0) {
VectorInterface rad2 = new Vector(radius - Style.MAXLINETHICK * 2, radius - Style.MAXLINETHICK * 2);
gr.drawCircle(getPos().sub(rad2), getPos().add(rad2), Style.THIN);
}
Vector delta = new Vector(0, Style.NORMAL.getFontSize());
VectorFloat pos = getPos().add(delta.mul(-1));