From 542ec78076feaa3214543b1ed1df32878385a1b4 Mon Sep 17 00:00:00 2001
From: Ralf Teusner <ralf.teusner@hpi.de>
Date: Fri, 9 Sep 2016 15:43:50 +0200
Subject: [PATCH] remove some more tab code not used any longer.

---
 app/assets/javascripts/editor/editor.js.erb | 5 -----
 1 file changed, 5 deletions(-)

diff --git a/app/assets/javascripts/editor/editor.js.erb b/app/assets/javascripts/editor/editor.js.erb
index 5385319b..09c640eb 100644
--- a/app/assets/javascripts/editor/editor.js.erb
+++ b/app/assets/javascripts/editor/editor.js.erb
@@ -275,7 +275,6 @@ var CodeOceanEditor = {
   initializeEventHandlers: function () {
     $(document).on('click', '#results a', this.showOutput.bind(this));
     $(document).on('keypress', this.handleKeyPress.bind(this));
-    $('a[data-toggle="tab"]').on('show.bs.tab', this.storeTab.bind(this));
     this.initializeFileTreeButtons();
     this.initializeWorkflowButtons();
     this.initializeWorkspaceButtons();
@@ -482,10 +481,6 @@ var CodeOceanEditor = {
     }
   },
 
-  storeTab: function (event) {
-    localStorage.tab = $(event.target).parent().index();
-  },
-
   resetOutputTab: function () {
     this.clearOutput();
     $('#hint').fadeOut();