← Back to branch summary

~yrke/tapaal/slimImageIcons-2

« back to all changes in this revision

Viewing changes to src/pipe/gui/handler/LabelHandler.java

  • Committer: Jiri Srba
  • Date: 2020-04-28 19:15:28 UTC
  • mfrom: (998.2.376 testbranch)
  • Revision ID: srba@cs.aau.dk-20200428191528-3xxjqa1r4jcob5ur
merged in lp:~yrke/tapaal/testbranch doing majour refactoring of the GUI

Show diffs side-by-side

added added

removed removed

Lines of Context:
src/pipe/gui/handler/LabelHandler.java
5
5
import java.awt.event.MouseWheelEvent;
6
6
import javax.swing.SwingUtilities;
7
7
 
8
 
import dk.aau.cs.gui.undo.Command;
9
8
import dk.aau.cs.gui.undo.UpdateNameLabelOffsetCommand;
10
9
import pipe.dataLayer.NetType;
11
10
import pipe.gui.CreateGui;
12
11
import pipe.gui.graphicElements.Arc;
13
12
import pipe.gui.graphicElements.NameLabel;
14
 
import pipe.gui.graphicElements.PetriNetObject;
 
13
import pipe.gui.graphicElements.PetriNetObjectWithLabel;
15
14
import pipe.gui.graphicElements.tapn.TimedOutputArcComponent;
16
15
 
17
16
public class LabelHandler extends javax.swing.event.MouseInputAdapter implements
18
17
                java.awt.event.MouseWheelListener {
19
18
 
20
 
        private PetriNetObject obj;
 
19
        private PetriNetObjectWithLabel obj;
21
20
 
22
21
        private NameLabel nl;
23
22
 
24
23
        protected Point dragInit = new Point();
25
 
        
26
24
        private double originalOffsetX, originalOffsetY;
27
 
        
28
 
        public LabelHandler(NameLabel _nl, PetriNetObject _obj) {
 
25
 
 
26
        public LabelHandler(NameLabel _nl, PetriNetObjectWithLabel _obj) {
29
27
                obj = _obj;
30
28
                nl = _nl;
31
29
        }
62
60
        @Override
63
61
        public void mouseDragged(MouseEvent e) {
64
62
                // 
65
 
                if (!SwingUtilities.isLeftMouseButton(e) || CreateGui.getDrawingSurface().isInAnimationMode()) {
 
63
                if (!SwingUtilities.isLeftMouseButton(e) || CreateGui.getCurrentTab().isInAnimationMode()) {
66
64
                        return;
67
65
                }
68
66
 
69
 
                Point p = javax.swing.SwingUtilities
70
 
                                .convertPoint(nl, e.getPoint(), obj);
 
67
                Point p = javax.swing.SwingUtilities.convertPoint(nl, e.getPoint(), obj);
71
68
                // obj.setNameOffsetX((e.getXOnScreen() - dragInit.x)); //causes
72
69
                // exception in Windows!
73
70
                // obj.setNameOffsetY((e.getYOnScreen() - dragInit.y)); //causes
83
80
        
84
81
        @Override
85
82
        public void mouseReleased(MouseEvent e) {
86
 
                Point p = javax.swing.SwingUtilities
87
 
                                .convertPoint(nl, e.getPoint(), obj);
 
83
                Point p = javax.swing.SwingUtilities.convertPoint(nl, e.getPoint(), obj);
88
84
                
89
 
                CreateGui.getDrawingSurface().getUndoManager().addNewEdit(new UpdateNameLabelOffsetCommand(obj.getNameOffsetXObject(), obj.getNameOffsetYObject(), originalOffsetX, originalOffsetY, obj));
 
85
                CreateGui.getCurrentTab().getUndoManager().addNewEdit(new UpdateNameLabelOffsetCommand(obj.getNameOffsetXObject(), obj.getNameOffsetYObject(), originalOffsetX, originalOffsetY, obj));
90
86
                
91
87
        }
92
88