SublimeLinter specific settings