← Back to branch summary

~yrke/tapaal/removedUnusedFieldsFromXML

« back to all changes in this revision

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

  • Committer: Kenneth Yrke Jørgensen
  • Date: 2018-10-13 20:08:18 UTC
  • Revision ID: kenneth@yrke.dk-20181013200818-n5c60l765jyq89ly
Made class var someArc, local

Show diffs side-by-side

added added

removed removed

Lines of Context:
src/pipe/gui/graphicElements/Transition.java
235
235
                double unZoomedY = (y - COMPONENT_DRAW_OFFSET)
236
236
                                / (zoomPercentage / 100.0);
237
237
 
238
 
                someArc = CreateGui.getDrawingSurface().createArc;
 
238
                Arc someArc = CreateGui.getDrawingSurface().createArc;
239
239
                if (someArc != null) { // Must be drawing a new Arc if non-NULL.
240
240
                        if ((proximityTransition.contains((int) unZoomedX, (int) unZoomedY) || transition
241
241
                                        .contains((int) unZoomedX, (int) unZoomedY))