GtkScintilla::redo

void redo(void);

Redo is like "redo" action of every text editor. Redo does again some task undone by "Undo" operation. You can design a "Edit" menu with many options like that linked with one callback like this one:

// redo
$scintilla->redo();