made cursor hilighting play nice with jshint by disabling jsHint while it highlights... had to change jsHint code to make this work