user jshint instead of braindead jslint
This commit is contained in:
parent
966181fcf8
commit
3489f5be89
2 changed files with 5859 additions and 1 deletions
|
|
@ -3,7 +3,8 @@ define(function(require, exports, module) {
|
||||||
|
|
||||||
var oop = require("pilot/oop");
|
var oop = require("pilot/oop");
|
||||||
var Mirror = require("ace/worker/mirror").Mirror;
|
var Mirror = require("ace/worker/mirror").Mirror;
|
||||||
var lint = require("ace/worker/jslint").JSLINT;
|
//var lint = require("ace/worker/jslint").JSLINT;
|
||||||
|
var lint = require("ace/worker/jshint").JSHINT;
|
||||||
|
|
||||||
var JavaScriptWorker = exports.JavaScriptWorker = function(sender) {
|
var JavaScriptWorker = exports.JavaScriptWorker = function(sender) {
|
||||||
Mirror.call(this, sender);
|
Mirror.call(this, sender);
|
||||||
|
|
|
||||||
5857
lib/ace/worker/jshint.js
Normal file
5857
lib/ace/worker/jshint.js
Normal file
File diff suppressed because it is too large
Load diff
Loading…
Add table
Add a link
Reference in a new issue