Viewing all changes in revision 1247.
- Committer: ptaankvist at gmail
- Date: 2020-11-27 08:48:37 UTC
- Revision ID: ptaankvist@gmail.com-20201127084837-6pyricwjxd7tzjj2
fix some sizing in transition panel
- files modified:
- src/pipe/gui/ColoredComponents/ColoredTransitionGuardPanel.java
expand all
collapse all
added
removed
