chiark / gitweb /
In GTK frontend, bind mouse8/mouse9 to undo/redo.