Remove scope from JSHINT messages to prevent #80.
Merge pull request #81 from MiguelCastillo/mark/fix-80

Remove scope from JSHINT messages to prevent #80.
Fixes bug where keyboard shortcut is called in a file with no linters.
Merge pull request #84 from MiguelCastillo/mark/fix-error-undefined-currentLinter

Fixes bug where keyboard shortcut is called in a file with no linters.
Merge pull request #83 from MiguelCastillo/mark/dark-widget

Redesign inline widgets
Update code throughout linterReporter for better style and peformance.

Remove msgId and pending, because we don't use them anymore.
Merge pull request #79 from MiguelCastillo/mark/fixes-linter-reporter

Update code throughout linterReporter for better style and performance.
Merge branch 'master' into mark/use-codeinspection

Conflicts:
	linterReporter.js
	plugins/jshint/main.js