← Back to branch summary

~tapaal-contributor/tapaal/undo-redo-update-scrollbar-1875174

« back to all changes in this revision

Viewing changes to src/pipe/gui/handler/NoteHandler.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/NoteHandler.java
1
1
package pipe.gui.handler;
2
2
 
3
 
import java.awt.Container;
4
3
import java.awt.event.MouseEvent;
5
4
 
6
5
import pipe.gui.graphicElements.Note;
12
11
                enablePopup = true;
13
12
        }
14
13
 
15
 
        @Override
16
 
        public void mousePressed(MouseEvent e) {
17
 
                if ((e.getComponent() == myObject) || !e.getComponent().isEnabled()) {
18
 
                        super.mousePressed(e);
19
 
                }
20
 
        }
21
 
 
22
 
        @Override
23
 
        public void mouseDragged(MouseEvent e) {
24
 
                if ((e.getComponent() == myObject) || !e.getComponent().isEnabled()) {
25
 
                        super.mouseDragged(e);
26
 
                }
27
 
        }
28
 
 
29
 
        @Override
30
 
        public void mouseReleased(MouseEvent e) {
31
 
                if ((e.getComponent() == myObject) || !e.getComponent().isEnabled()) {
32
 
                        super.mouseReleased(e);
33
 
                }
34
 
        }
 
14
 
35
15
 
36
16
}