diff --git a/app/assets/javascripts/editor/editor.js.erb b/app/assets/javascripts/editor/editor.js.erb index 5d8b539f..d3689524 100644 --- a/app/assets/javascripts/editor/editor.js.erb +++ b/app/assets/javascripts/editor/editor.js.erb @@ -385,7 +385,10 @@ var CodeOceanEditor = { $(document).unbind('keydown'); this.teardownWorkspaceButtons(); this.teardownRequestForComments(); - bootstrap.Modal.getInstance($('#comment-modal'))?.hide(); + const rfcModal = $('#comment-modal'); + if (rfcModal.isPresent()) { + bootstrap.Modal.getInstance(rfcModal)?.hide(); + } this.teardownFileTreeButtons(); },