Java CreateGui.getView Exemples

Exemple #1

Fichier : DeletePetriNetObjectAction.java Projet : dianxiangxu/PipePrT

 /* (non-Javadoc)
  * @see java.awt.event.ActionListener#actionPerformed(java.awt.event.ActionEvent)
  */
 public void actionPerformed(ActionEvent e) {
   CreateGui.getView().getUndoManager().newEdit(); // new "transaction""
   CreateGui.getView().getUndoManager().deleteSelection(selected);
   selected.delete();
 }

Exemple #2

Fichier : InsertPointAction.java Projet : dianxiangxu/PipePrT

 public void actionPerformed(ActionEvent arg0) {
   CreateGui.getView()
       .getUndoManager()
       .addNewEdit(selected.getArcPath().insertPointAt(mouseposition, ArcPathPoint.CURVED));
 }