← Back to branch summary

~yrke/tapaal/removeNetType

« back to all changes in this revision

Viewing changes to src/pipe/gui/graphicElements/Note.java

Merged lp:~yrke/tapaal/testbranch-syntaxOnlyChanges

Show diffs side-by-side

added added

removed removed

Lines of Context:
src/pipe/gui/graphicElements/Note.java
14
14
 
15
15
import pipe.gui.CreateGui;
16
16
import pipe.gui.Pipe;
17
 
import pipe.gui.Translatable;
18
17
import pipe.gui.Zoomer;
19
18
import pipe.gui.undo.AnnotationBorderEdit;
20
19
import dk.aau.cs.gui.undo.Command;
21
20
 
22
21
public abstract class Note extends PetriNetObject {
23
22
 
24
 
        private static final long serialVersionUID = 8965208519103066242L;
25
23
        protected JTextArea note = new JTextArea();
26
24
        protected boolean drawBorder = true;
27
25
        protected RectangularShape noteRect = new Rectangle();