← Back to branch summary

~cpn-gui/tapaal/typeChecker

« back to all changes in this revision

Viewing changes to src/dk/aau/cs/io/PNMLoader.java

  • Committer: mglavi14 at aau
  • Date: 2019-02-21 10:09:29 UTC
  • Revision ID: mglavi14@student.aau.dk-20190221100929-5u62376gfxes8kl0
When variables are edited, the changes are now applied automatically to expressions in the net

Show diffs side-by-side

added added

removed removed

Lines of Context:
src/dk/aau/cs/io/PNMLoader.java
397
397
                        transitionComponent.setUnderlyingTransition(transition);
398
398
                        template.guiModel().addPetriNetObject(transitionComponent);
399
399
                        addListeners(transitionComponent, template);
 
400
                        template.guiModel().repaintAll(false);
400
401
                }
401
402
                idResolver.add(tapn.name(), id, id);
402
403
        }