Extracted from Pike v8.0 release 276 as of 2016-07-30.
   

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.