Fix drag propagation issue

Author: Negabinary

src/web/app/editors/stepper/MissingStep.re

@@ -496,6 +496,8 @@ module View = {
           ~attrs=[
             Attr.classes(["proof-button"]),
             Attr.on_pointerdown(_ => Virtual_dom.Vdom.Effect.Stop_propagation),
+            Attr.on_pointerup(_ => Virtual_dom.Vdom.Effect.Stop_propagation),
+            Attr.on_mousemove(_ => Virtual_dom.Vdom.Effect.Stop_propagation),
             Attr.on_click(_ =>
               Ui_effect.Many([
                 callback,
@@ -875,6 +877,12 @@ module View = {
                 Attr.on_pointerdown(_ =>
                   Virtual_dom.Vdom.Effect.Stop_propagation
                 ),
+                Attr.on_pointerup(_ =>
+                  Virtual_dom.Vdom.Effect.Stop_propagation
+                ),
+                Attr.on_mousemove(_ =>
+                  Virtual_dom.Vdom.Effect.Stop_propagation
+                ),
               ],
               [buttons]
               @ {