@@ -2227,6 +2227,9 @@ $(document).on('error.query', function () {
var firstPos = err.toLowerCase().indexOf("line");
if (firstPos > -1) {
selectedLine = $.trim(err.substring(err.indexOf(" ", firstPos), err.indexOf(":", firstPos))) * 1;
+ if (codeMirror.getSelection()) {
+ selectedLine += codeMirror.getCursor(true).line;
+ }
errorWidgets.push(
codeMirror.addLineWidget(
selectedLine - 1,