editSession.smartSetBlock(pt, history[index]); } else { // Otherwise fool with history editSession.getChangeSet().add(new BlockChange(pt, history[index], editSession.getFullBlock(pt)));
editSession.smartSetBlock(pt, history[index]); } else { // Otherwise fool with history editSession.getChangeSet().add(new BlockChange(pt, history[index], editSession.getFullBlock(pt)));