I'm not sure that fixing bug 934497 would do anything do anything significant to solve this problem. The majority of users wouldn't disable developer tools, and we're not going to disable developer tools by default. Feel free to re-add if I'm missing something.
No longer depends on: 971613
Bug 953166 could help prevent this sort of thing.
Remove the wrong bug earlier. Bug 934497 isn't important to this problem.
No longer depends on: 934497
5 years ago
Duplicate of this bug: 980467
For reference for anyone reading this thread, here's the parallel Chrome bug: https://code.google.com/p/chromium/issues/detail?id=345205
Assignee: jruderman → nobody
You need to log in before you can comment on or make changes to this bug.