~tapaal-contributor/tapaal/align-to-grid

« back to all changes in this revision

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

  • Committer: Jiri Srba
  • Date: 2019-08-16 16:00:59 UTC
  • mfrom: (1009.1.50 SmartDrawDec)
  • Revision ID: srba@cs.aau.dk-20190816160059-m3gs4m69szmspr1x
merged in lp:~tapaal-contributor/tapaal/SmartDrawDevelopment allowing for automatic net layout

Show diffs side-by-side

added added

removed removed

Lines of Context:
149
149
                updateLabelLocation();
150
150
        }
151
151
        /**
152
 
         * Set X-axis offset for name position
 
152
         * Update X-axis offset for name position
153
153
         * 
154
154
         * @param nameOffsetXInput
155
155
         *            Double value for name X-axis offset
156
156
         */
157
 
        public void setNameOffsetX(double nameOffsetXInput) {
 
157
        public void updateNameOffsetX(double nameOffsetXInput) {
158
158
                nameOffsetX += Zoomer.getUnzoomedValue(nameOffsetXInput, zoom);
159
159
        }
160
160
 
161
161
        /**
162
 
         * Set Y-axis offset for name position
 
162
         * Update Y-axis offset for name position
163
163
         * 
164
164
         * @param nameOffsetYInput
165
165
         *            Double value for name Y-axis offset
166
166
         */
 
167
        public void updateNameOffsetY(double nameOffsetYInput) {
 
168
                nameOffsetY += Zoomer.getUnzoomedValue(nameOffsetYInput, zoom);
 
169
        }
 
170
        
 
171
        public void setNameOffsetX(double nameOffsetXInput) {
 
172
                nameOffsetX = Zoomer.getUnzoomedValue(nameOffsetXInput, zoom);
 
173
        }
167
174
        public void setNameOffsetY(double nameOffsetYInput) {
168
 
                nameOffsetY += Zoomer.getUnzoomedValue(nameOffsetYInput, zoom);
 
175
                nameOffsetY = Zoomer.getUnzoomedValue(nameOffsetYInput, zoom);
169
176
        }
170
177
        /**
171
178
         * Get X-axis offset for ...