Added f12 binding for revert-buffer.