Merge branch 'main' into dev
This commit is contained in:
commit
a11ce70bb4
@ -243,7 +243,7 @@ fn get_position_port_param_completion(
|
|||||||
};
|
};
|
||||||
|
|
||||||
let name = port_assignment.port.clone().unwrap();
|
let name = port_assignment.port.clone().unwrap();
|
||||||
let port_desc = format!("parameter {}", name);
|
let port_desc = format!("port {}", name);
|
||||||
|
|
||||||
let c_item = CompletionItem {
|
let c_item = CompletionItem {
|
||||||
label: name,
|
label: name,
|
||||||
|
Loading…
x
Reference in New Issue
Block a user