--- a/svghmi/widget_dropdown.ysl2 Tue Apr 14 17:13:12 2020 +0200
+++ b/svghmi/widget_dropdown.ysl2 Tue Apr 14 17:15:02 2020 +0200
@@ -146,6 +146,7 @@
this.adjust_box_to_text();
this.element.removeChild(this.button_elt);
+ this.element.parentNode.appendChild(this.element.parentNode.removeChild(this.element)); // disable interaction with background
document.addEventListener("click", this.bound_inhibit_click_elsewhere, true);