2 Commits

Author	SHA1	Message	Date
Steve Howell	bdd7a64d19	ui: Close feedback widget with escape key. ... It's a bit dangerous for the user to hit escape to close the feedback widget, since it can disappear suddenly, but users will try it, and we should just close the widget. (Hitting escape should be a noop if the box is closed, but now it goes to "All Messages".)	2019-01-04 10:54:09 -08:00
Steve Howell	1cbcb06157	ui: Extract feedback_widget module.	2019-01-04 10:54:07 -08:00