Ian Flanigan 2d5972f7f5 Prevent launching help when F1 is pressed
In some browsers, in particular Chrome OS, pressing F1 opens a help
screen. This can be suppressed by calling preventDefault() on the
event.
2019-01-04 00:28:58 +01:00
..
2017-08-20 10:46:10 -07:00
2017-09-22 21:42:57 -07:00
2017-12-20 11:41:29 -08:00