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