Fixed context-error in jump to source line.

This commit is contained in:
Alexander Kastius
2016-08-12 14:50:49 +02:00
parent c04fc85c3b
commit 97c1c5e455

View File

@ -427,7 +427,7 @@ var CodeOceanEditor = {
var frame = $('div.frame[data-filename="' + file + '"]'); var frame = $('div.frame[data-filename="' + file + '"]');
this.showFrame(frame); this.showFrame(frame);
var editor = editor_for_file.get(file); var editor = this.editor_for_file.get(file);
editor.gotoLine(line, 0); editor.gotoLine(line, 0);
}, },
@ -436,7 +436,7 @@ var CodeOceanEditor = {
if (this.tracepositions_regex) { if (this.tracepositions_regex) {
var element = $('#output>pre'); var element = $('#output>pre');
var text = element.text(); var text = element.text();
element.on("click", "a", this.jumpToSourceLine); element.on("click", "a", this.jumpToSourceLine.bind(this));
var matches; var matches;