From 77e5142a7c90ef0f41b2dee57e6621d0f5442f7e Mon Sep 17 00:00:00 2001
From: Gregory Schier <gschier1990@gmail.com>
Date: Sat, 28 Oct 2023 19:14:51 -0700
Subject: [PATCH] Update placeholders when env changes

---
 src-web/components/core/Editor/twig/placeholder.ts | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/src-web/components/core/Editor/twig/placeholder.ts b/src-web/components/core/Editor/twig/placeholder.ts
index a895e819..7f921039 100644
--- a/src-web/components/core/Editor/twig/placeholder.ts
+++ b/src-web/components/core/Editor/twig/placeholder.ts
@@ -9,7 +9,7 @@ class PlaceholderWidget extends WidgetType {
     super();
   }
   eq(other: PlaceholderWidget) {
-    return this.name == other.name;
+    return this.name == other.name && this.isExistingVariable == other.isExistingVariable;
   }
   toDOM() {
     const elt = document.createElement('span');