Function UndoBuffer.redo
returns operation to be redone (put it to undo), null if no undo ops available
Prototype
EditOperation redo();
Authors
Vadim Lopatin, coolreader.org@gmail.com
Copyright
Vadim Lopatin, 2014
License
Boost License 1.0