In a multi-user model, the selected objects now stay selected when the model is saved. Also, the numbering of the selected objects now works correctly when synchronizing with the master model.
