Fixes bug where keyboard shortcut is called in a file with no linters.

Fixes a bug I introduced, to test press "Ctrl-Shift-E" in an HTML file, which currently has no linters from Interactive Linter.