Merge pull request #2547 from rtfeldman/simplify-editor

simplify editor
This commit is contained in:
Richard Feldman 2022-02-27 21:43:09 -05:00 committed by GitHub
commit 8ec7b26a1c
No known key found for this signature in database
GPG key ID: 4AEE18F83AFDEB23
21 changed files with 353 additions and 918 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,