Merge branch 'master' into ja-track-changes

This commit is contained in:
James Allen
2017-01-27 17:11:49 +01:00
@@ -279,7 +279,7 @@ define [
session.setUseWrapMode(true)
# use syntax validation only when explicitly set
if scope.syntaxValidation? and syntaxValidationEnabled
if scope.syntaxValidation? and syntaxValidationEnabled and !scope.fileName.match(/\.bib$/)
session.setOption("useWorker", scope.syntaxValidation);
# now attach session to editor