From d769c5a356a59b8cba3ac307440b0e07d0632557 Mon Sep 17 00:00:00 2001
From: Robin Leber <rleber98@gmail.com>
Date: Thu, 27 Jun 2024 17:18:41 +0200
Subject: [PATCH] FIX: filter double naming
---
src/functions/naming.js | 30 +++++++++++++++---------------
1 file changed, 15 insertions(+), 15 deletions(-)
diff --git a/src/functions/naming.js b/src/functions/naming.js
index 5ab4984..559c520 100644
--- a/src/functions/naming.js
+++ b/src/functions/naming.js
@@ -35,21 +35,21 @@ export const namePipe = (instance) => {
export const nameFilter = (instance) => {
let newFilterName;
- newFilterName = prompt("Bitte geben Sie einen Filter Namen ein:");
- // while (true) {
-
- // let nameExists = Array.from(appState.getState().pipes.values()).includes(
- // newFilterName
- // );
-
- // if (nameExists) {
- // alert(
- // "Dieser Name ist bereits vergeben. Bitte geben Sie einen anderen Namen ein."
- // );
- // } else {
- // break;
- // }
- // }
+ while (true) {
+ newFilterName = prompt("Bitte geben Sie einen Filter Namen ein:");
+ const allFilterNames = document.querySelectorAll("#Diagram #FilterName");
+ let nodeArray = Array.from(allFilterNames);
+ let innerHTMLArray = nodeArray.map((node) => node.innerHTML);
+ const nameExists = innerHTMLArray.includes(newFilterName);
+
+ if (nameExists) {
+ alert(
+ "Dieser Name ist bereits vergeben. Bitte geben Sie einen anderen Namen ein."
+ );
+ } else {
+ break;
+ }
+ }
if (window.selectedFilter && newFilterName) {
const spanToChange = document.querySelector(
--
GitLab