3738394041424344454647
boolean result = super.addEdit(edit); updateButtons(); return result; } }; overlay.addUndoableEditListener(undo); u = new JButton("Undo"); u.addActionListener( new ActionListener() { public void actionPerformed(ActionEvent event) {