setUndoEnabled    846 graph/JavaPopWeb/src/jp/ac/nime/computer/grpsimulator/GrpSim.java 					opPanel_.setUndoEnabled( true );
setUndoEnabled    884 graph/JavaPopWeb/src/jp/ac/nime/computer/grpsimulator/GrpSim.java 			opPanel_.setUndoEnabled( false );   // 2回以上のUndoはできない