← Back to branch summary

~tapaal-contributor/tapaal/cpn-gui-dev

~tapaal-contributor/tapaal/cpn-gui-dev

Viewing all changes in revision 1244.

Committer: ptaankvist at gmail
Date: 2020-11-22 15:20:56 UTC
Revision ID: ptaankvist@gmail.com-20201122152056-w4p4fngzlh9tdbjv

Variables and colors are now in the same combobox

files modified:
src/dk/aau/cs/gui/components/ColorComboBoxRenderer.java

src/pipe/gui/ColoredComponents/ColorComboboxPanel.java

src/pipe/gui/ColoredComponents/ColoredArcGuardPanel.java

src/pipe/gui/ColoredComponents/ColoredTransitionGuardPanel.java

src/pipe/gui/widgets/PlaceEditorPanel.java

Show diffs side-by-side

added added

removed removed

src/dk/aau/cs/gui/components/ColorComboBoxRenderer.java

src/pipe/gui/ColoredComponents/ColorComboboxPanel.java

src/pipe/gui/ColoredComponents/ColoredArcGuardPanel.java

src/pipe/gui/ColoredComponents/ColoredTransitionGuardPanel.java

src/pipe/gui/widgets/PlaceEditorPanel.java

Older »