Function EditorPlugin.getUndoRedo

Gets the undo/redo object. Most actions in the editor can be undoable, so use this object to make sure this happens when it's worth it.

UndoRedo getUndoRedo() nothrow @nogc;