← Back to branch summary

~yrke/tapaal/removeNetType

« back to all changes in this revision

Viewing changes to src/pipe/gui/widgets/PlaceEditorPanel.java

Merged lp:~yrke/tapaal/testbranch-syntaxOnlyChanges

Show diffs side-by-side

added added

removed removed

Lines of Context:
src/pipe/gui/widgets/PlaceEditorPanel.java
52
52
import dk.aau.cs.util.RequireException;
53
53
 
54
54
public class PlaceEditorPanel extends javax.swing.JPanel {
55
 
        private static final long serialVersionUID = -4163767112591119036L;
 
55
 
56
56
        private JRootPane rootPane;
57
57
        
58
58
        private JCheckBox sharedCheckBox;