Fix delete button.

enso-org · Nov 14, 2024 · 0369f00 · 0369f00
1 parent 9992943
commit 0369f00
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/app/gui/src/project-view/components/GraphEditor/GraphNodeSelection.vue b/app/gui/src/project-view/components/GraphEditor/GraphNodeSelection.vue
@@ -46,7 +46,7 @@ const rootStyle = computed(() => {
   contain: strict;
   inset: calc(0px - var(--selected-node-border-width));
   width: calc(var(--selected-node-border-width) * 2 + var(--node-size-x));
-  height: calc(var(--selected-node-border-width) + var(--node-size-y) / 2);
+  height: calc(var(--selected-node-border-width) + var(--node-base-height) / 2);
   border-radius: 0;
   border-top-left-radius: calc(var(--node-border-radius) * 2 + var(--selected-node-border-width));
   border-top-right-radius: calc(var(--node-border-radius) * 2 + var(--selected-node-border-width));