Enable Esc key for Tips dialog (fixes #312)

As usual, minor formatting fixes are also made.