From 97c1c5e455a68f59fc45468fbd5168bfe9f5fbdf Mon Sep 17 00:00:00 2001
From: Alexander Kastius <alexander.kastius@student.hpi.de>
Date: Fri, 12 Aug 2016 14:50:49 +0200
Subject: [PATCH] Fixed context-error in jump to source line.

---
 app/assets/javascripts/editor/editor.js.erb | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

diff --git a/app/assets/javascripts/editor/editor.js.erb b/app/assets/javascripts/editor/editor.js.erb
index eb5562c0..e0c64faa 100644
--- a/app/assets/javascripts/editor/editor.js.erb
+++ b/app/assets/javascripts/editor/editor.js.erb
@@ -427,7 +427,7 @@ var CodeOceanEditor = {
     var frame = $('div.frame[data-filename="' + file + '"]');
     this.showFrame(frame);
 
-    var editor = editor_for_file.get(file);
+    var editor = this.editor_for_file.get(file);
     editor.gotoLine(line, 0);
 
   },
@@ -436,7 +436,7 @@ var CodeOceanEditor = {
     if (this.tracepositions_regex) {
       var element = $('#output>pre');
       var text = element.text();
-      element.on("click", "a", this.jumpToSourceLine);
+      element.on("click", "a", this.jumpToSourceLine.bind(this));
 
       var matches;