Order errors by severity. error -> warning -> typsetting

This commit is contained in:
James Allen 2014-03-24 17:31:37 +00:00
parent 116458671c
commit c273f36bb0

View file

@ -90,7 +90,7 @@ define [
logButtonHtml = "Logs" logButtonHtml = "Logs"
if compileErrors? if compileErrors?
for error in compileErrors.all for error in compileErrors.errors.concat(compileErrors.warnings).concat(compileErrors.typesetting)
errorView = new LatexErrorView(@options.manager.ide, error) errorView = new LatexErrorView(@options.manager.ide, error)
errorView.render() errorView.render()
@errorViews.push(errorView) @errorViews.push(errorView)