// TODO ask the viewer for the print option - provided by the underlying system
// options.add(new PrintOption());
addViewDebugMenuItems(options);
final UndoStack undoStack = getViewManager().getUndoStack();
if (!undoStack.isEmpty()) {
options.add(new UserActionAbstract("Undo " + undoStack.getNameOfUndo()) {
@Override
public Consent disabled(final View component) {
return new ConsentAbstract("", undoStack.descriptionOfUndo()) {
private static final long serialVersionUID = 1L;
};
}
@Override
public void execute(final Workspace workspace, final View view, final Location at) {
undoStack.undoLastCommand();
}
});
}
}