~yrke/tapaal/slimImageIcons-2

« back to all changes in this revision

Viewing changes to src/pipe/gui/action/ToggleArcPointAction.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:
29
29
         * java.awt.event.ActionListener#actionPerformed(java.awt.event.ActionEvent)
30
30
         */
31
31
        public void actionPerformed(ActionEvent e) {
32
 
                CreateGui.getDrawingSurface().getUndoManager().addNewEdit(
 
32
                CreateGui.getCurrentTab().getUndoManager().addNewEdit(
33
33
                                arcPathPoint.togglePointType());
34
34
        }
35
35