Configuring gundo a little more