Merge pull request #2099 from zed-industries/empty-go-to-def-multibuffer

Avoid opening a definitions tab if there are no definitions found
This commit is contained in:
Max Brunsfeld 2023-01-26 10:35:35 -08:00 committed by GitHub
commit 4918ad5789
No known key found for this signature in database
GPG key ID: 4AEE18F83AFDEB23

View file

@ -5042,7 +5042,7 @@ impl Editor {
pane.update(cx, |pane, _| pane.enable_history());
});
} else {
} else if !definitions.is_empty() {
let replica_id = editor_handle.read(cx).replica_id(cx);
let title = definitions
.iter()