From 6d62dfc3dee9ebe1cad1f1b6dfefc76fa5b2c504 Mon Sep 17 00:00:00 2001
From: Sebastian Serth <Sebastian.Serth@hpi.de>
Date: Fri, 22 Dec 2023 00:43:30 +0100
Subject: [PATCH] Remove anchor replacement in active_file.filename

Previously, this replacement was required, but it is no longer (since we are not using some form of direct user-input).
---
 app/assets/javascripts/editor/editor.js.erb | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/app/assets/javascripts/editor/editor.js.erb b/app/assets/javascripts/editor/editor.js.erb
index c8e8a2bf..8d1d4425 100644
--- a/app/assets/javascripts/editor/editor.js.erb
+++ b/app/assets/javascripts/editor/editor.js.erb
@@ -66,7 +66,7 @@ var CodeOceanEditor = {
         event.preventDefault();
         const initiator = $(event.target.closest("button"));
         let message = initiator.data('message-confirm');
-        message = message.replace('%{filename}', CodeOceanEditor.active_file.filename.replace(/#$/, ''))
+        message = message.replace('%{filename}', CodeOceanEditor.active_file.filename)
         if (confirm(message)) {
             this.resetCode(initiator, true); // delete only active file
         }