← Back to branch summary

~yrke/tapaal/removeNetType

« back to all changes in this revision

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

Merged lp:~yrke/tapaal/testbranch-syntaxOnlyChanges

Show diffs side-by-side

added added

removed removed

Lines of Context:
src/pipe/gui/graphicElements/PlaceTransitionObject.java
7
7
 
8
8
import pipe.gui.Pipe;
9
9
import pipe.gui.Zoomer;
10
 
import pipe.gui.handler.LabelHandler;
11
10
 
12
11
/**
13
12
 * Petri-Net Place or Transition SuperClass
15
14
 */
16
15
public abstract class PlaceTransitionObject extends PetriNetObjectWithLabel {
17
16
 
18
 
        private static final long serialVersionUID = -6629006415467929184L;
19
 
 
20
17
        protected double componentWidth;
21
18
        protected double componentHeight;
22
19
 
311
308
        public void toggleAttributesVisible() {
312
309
                attributesVisible = !attributesVisible;
313
310
                update(true);
314
 
        };
 
311
        }
315
312
 
316
 
        public void zoomUpdate(int value) {
 
313
    public void zoomUpdate(int value) {
317
314
                super.zoomUpdate(value);
318
315
                update(true, false);
319
316
        }