← Back to branch summary

~tapaal-contributor/tapaal/tikz-export-label-placement-1820528

« back to all changes in this revision

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

Merged bzr merge lp:~yrke/tapaal/placetransitionobjecthandler-refactor-cleanup cleanup 
after refactorings, removeing code and further refactorings

Show diffs side-by-side

added added

removed removed

Lines of Context:
src/pipe/gui/graphicElements/Place.java
25
25
        // Initial Marking Y-axis Offset 
26
26
        protected Double markingOffsetY = 0d;
27
27
 
28
 
        // Value of the capacity restriction; 0 means no capacity restriction 
29
 
        protected Integer capacity = 0;
30
 
 
31
28
        protected static final int DIAMETER = Pipe.PLACE_TRANSITION_HEIGHT;
32
29
 
33
30
        // Token Width and Height
187
184
        @Override
188
185
        public void update(boolean displayConstantNames) {
189
186
                if (attributesVisible) {
190
 
                        pnName.setText("\nk=" + (capacity > 0 ? capacity : "\u221E"));
 
187
                        pnName.setText("");
191
188
                } else {
192
189
                        pnName.setText("");
193
190
                }