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
Merge branch 'master' into mark/use-codeinspection