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:
Disclaimer: This
documentation is provided only for the benefits of our webhosting customers.
For authoritative source of the documentation, please refer to http://gtk.php.net/docs.php
