tgstation/-tg-station — pull request #2331 by ManeaterMildred (2014-01-12 14:52:34+00:00)
Title: Fixes Issue #1523 : No feedback when using F12.

Add a feedback upon using F12, in case people get confused their HUD is gone when pressing F12 by accident.