Don't stop propagation on mouse move over editor gutter

2023-12-19 09:02:25 -08:00
parent cf037ea4a8
commit e655d2434a
2 changed files with 2 additions and 3 deletions
@@ -564,8 +564,6 @@ impl EditorElement {
                    );
                }
            }
-
-            cx.stop_propagation();
        } else {
            update_go_to_definition_link(editor, None, modifiers.command, modifiers.shift, cx);
            hover_at(editor, None, cx);