Pike v8.1 release 6

Method GTK2.SourceBuffer()->redo()


Method redo

GTK2.SourceBuffer redo()

Description

Redoes the last undo operation. Use can_redo() to check whether a call to this function will have any effect.