honestbleeps/Reddit-Enhancement-Suite — pull request #584 by mc10 (2013-09-28 02:14:39+00:00)
Title: Enable Esc key for Tips dialog (fixes #312)

As usual, minor formatting fixes are also made.