← Back to branch summary

~tapaal-contributor/tapaal/add-java-info-1890600

« back to all changes in this revision

Viewing changes to src/pipe/gui/action/ShowHideInfoAction.java

merged in lp:~yrke/tapaal/removeSpecialBatchLoading removing special loading of nets in batch processing

Show diffs side-by-side

added added

removed removed

Lines of Context:
src/pipe/gui/action/ShowHideInfoAction.java
7
7
 
8
8
public class ShowHideInfoAction extends javax.swing.AbstractAction {
9
9
 
10
 
        private PlaceTransitionObject pto;
 
10
        private final PlaceTransitionObject pto;
11
11
 
12
12
        public ShowHideInfoAction(PlaceTransitionObject component) {
13
13
                pto = component;