+ int last_user_nr = user.nr;
+
+ if (0 && setup.multiple_users) // (not used yet)
+ {
+ int edit_user_nr = posTreeInfo(type_name_node);
+
+ // change name of edited user in global list of user names
+ setString(&global.user_names[edit_user_nr], name);
+
+ // change name of edited user in local menu tree structure
+ setString(&type_name_node->name, name);
+ setString(&type_name_node->name_sorting, name);
+
+ // save setup of currently active user (may differ from edited user)
+ SaveSetup();
+
+ // temporarily change active user to edited user
+ user.nr = edit_user_nr;
+
+ // load setup of edited user
+ LoadSetup();
+ }
+