Depend on GTK+ 3.13.2

For RTL icon theme support
Rely on RTL icon theme support
Fix the name of the Preferences dialog
Link the undo/redo buttons
trivial: code style fix