Merge remote-tracking branch 'origin/trunk' into gen-dev/quicksort2

This commit is contained in:
Brendan Hansknecht 2022-03-01 15:29:52 -08:00
commit 3bada97067
102 changed files with 3628 additions and 2851 deletions

View file

@ -580,6 +580,7 @@ impl IdentIds {
}
// necessary when the name of a value is changed in the editor
// TODO fix when same ident_name is present multiple times, see issue #2548
pub fn update_key(
&mut self,
old_ident_name: &str,