Esempi in Java per CreateGui.getView

Esempio n. 1

File: DeletePetriNetObjectAction.java Progetto: 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();
 }

Esempio n. 2

File: InsertPointAction.java Progetto: dianxiangxu/PipePrT

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