Fix remove file extension in web

Author: timon-schelling

frontend/src/state-providers/portfolio.ts

@@ -62,9 +62,16 @@ export function createPortfolioState(editor: Editor) {
 		}
 	});
 	editor.subscriptions.subscribeJsMessage(TriggerOpenDocument, async () => {
-		const extension = editor.handle.fileExtension();
-		const data = await upload("." + extension, "text");
-		editor.handle.openDocumentFile(data.filename, data.content);
+		const suffix = "." + editor.handle.fileExtension();
+		const data = await upload(suffix, "text");
+
+		// Use filename as document name, removing the extension if it exists
+		var documentName = data.filename;
+		if (documentName.endsWith(suffix)) {
+			documentName = documentName.slice(0, -suffix.length);
+		}
+
+		editor.handle.openDocumentFile(documentName, data.content);
 	});
 	editor.subscriptions.subscribeJsMessage(TriggerImport, async () => {
 		const data = await upload("image/*", "both");