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));
 }