Update placeholders when env changes

This commit is contained in:
Gregory Schier
2023-10-28 19:14:51 -07:00
parent d05ee3ec16
commit 455e6c3520

View File

@@ -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');