diff --git a/app/assets/javascripts/editor/editor.js.erb b/app/assets/javascripts/editor/editor.js.erb index 079b74d0..cce1c53e 100644 --- a/app/assets/javascripts/editor/editor.js.erb +++ b/app/assets/javascripts/editor/editor.js.erb @@ -631,6 +631,7 @@ var CodeOceanEditor = { const frame = $('div.frame[data-filename="' + file + '"]'); this.showFrame(frame); + this.toggleButtonStates(); const file_id = frame.find('.editor').data('file-id'); this.setActiveFile(frame.data('filename'), file_id);