Ticket #2400 (closed bug: invalid)
error message: event.type has no properties
|Reported by:||jrieks||Owned by:|
In a greasemonkey script, I get "event.type has no properties" when I reload the page. The attached patch makes sure that event.type is defined.