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.