Report errors without line numbers again.

pull/1/head
chriseth 9 years ago
parent 8bc8d83887
commit fd4a93ad87
  1. 5
      index.html

@ -407,12 +407,13 @@ input[readonly] {
var detailsOpen = {}; var detailsOpen = {};
var renderError = function(message) { var renderError = function(message) {
var $output = $('#output').empty() $('#output')
.empty()
.append($('<pre class="error"></pre>').text(message));
var err = message.match(/^:([0-9]*):([0-9]*)/) var err = message.match(/^:([0-9]*):([0-9]*)/)
if (err && err.length) { if (err && err.length) {
var errLine = parseInt( err[1], 10 ) - 1; var errLine = parseInt( err[1], 10 ) - 1;
var errCol = err[2] ? parseInt( err[2], 10 ) : 0; var errCol = err[2] ? parseInt( err[2], 10 ) : 0;
$output.append($('<pre class="error"></pre>').text(message));
editor.getSession().setAnnotations([{ editor.getSession().setAnnotations([{
row: errLine, row: errLine,
column: errCol, column: errCol,

Loading…
Cancel
Save