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