disabled linting on SublimeREPL views, Fixes #103