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();