search

moves-rwth / stormvogel

Storm for almost everyone
2 stars 0 forks source link

Matching labels with state colors #49

Closed YouGuessedMyName closed 3 months ago

YouGuessedMyName commented 3 months ago

I will add an option to override the colors of states with certain labels.

YouGuessedMyName commented 3 months ago

Done, I also made a big improvement to the gui menu, and I also added Scheduler visualization: Give actions that are scheduled a different color that the user can specify.