Java CreateGui.getView示例

示例#1

文件： DeletePetriNetObjectAction.java 项目： 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();
 }

示例#2

文件： InsertPointAction.java 项目： dianxiangxu/PipePrT

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