Support Display name in project.json

2025-08-31 07:37:30 +00:00 · 2020-10-20 17:13:15 +02:00 · 2020-10-20 17:13:15 +02:00 · f753c3ecd2
commit f753c3ecd2
parent 3b1a648539
3 changed files with 10 additions and 3 deletions
--- a/crates/project_model/src/lib.rs
+++ b/crates/project_model/src/lib.rs
@ -335,8 +335,7 @@ impl ProjectWorkspace {
                            crate_graph.add_crate_root(
                                file_id,
                                krate.edition,
-                                // FIXME json definitions can store the crate name
-                                None,
+                                krate.display_name.clone(),
                                cfg_options,
                                env,
                                proc_macro.unwrap_or_default(),