← Back to branch summary

~yrke/tapaal/removeNetType

« back to all changes in this revision

Viewing changes to src/pipe/gui/undo/ToggleTemplateActivationCommand.java

Merged lp:~yrke/tapaal/testbranch-syntaxOnlyChanges

Show diffs side-by-side

added added

removed removed

Lines of Context:
src/pipe/gui/undo/ToggleTemplateActivationCommand.java
6
6
 
7
7
public class ToggleTemplateActivationCommand  extends Command{
8
8
 
9
 
        private TemplateExplorer templateExplorer;
10
 
        private Template template;
11
 
        private boolean newStatus;
 
9
        private final TemplateExplorer templateExplorer;
 
10
        private final Template template;
 
11
        private final boolean newStatus;
12
12
        
13
13
        public ToggleTemplateActivationCommand(TemplateExplorer templateExplorer, Template template, boolean newStatus) {
14
14
                this.templateExplorer = templateExplorer;