← Back to branch summary

~tapaal-contributor/tapaal/display-shared-places-transitions-1879126

« back to all changes in this revision

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

merged in lp:~yrke/tapaal/testbranch-syntaxOnlyChanges only reformating, no semantic changes

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
 
/**
23
 
 * This abstract class is the base class for AnnotationNote class and for
24
 
 * Parameter class
25
 
 */
26
21
public abstract class Note extends PetriNetObject {
27
22
 
28
 
        private static final long serialVersionUID = 8965208519103066242L;
29
23
        protected JTextArea note = new JTextArea();
30
24
        protected boolean drawBorder = true;
31
25
        protected RectangularShape noteRect = new Rectangle();
46
40
 
47
41
                // Set minimum size the preferred size for an empty string:
48
42
                note.setText("");
49
 
                note.setFont(new Font(Pipe.ANNOTATION_DEFAULT_FONT, Font.PLAIN,
50
 
                                Pipe.ANNOTATION_DEFAULT_FONT_SIZE));
 
43
                note.setFont(new Font(Pipe.ANNOTATION_DEFAULT_FONT, Font.PLAIN, Pipe.ANNOTATION_DEFAULT_FONT_SIZE));
51
44
                note.setSize(
52
45
                                note.getPreferredSize().width,
53
46
                                note.getPreferredSize().height
173
166
                if (CreateGui.getDrawingSurface() != null) {
174
167
                        setDeleted(false);
175
168
                        updateBounds();
176
 
                        // CreateGui.getDrawingSurface().setNetChanged(true);
177
169
                }
178
170
        }
179
171