private void Name_Changed(object sender, EventArgs e) { if (null == sender) { return; } string newName = ((Entry)sender).Text; if ((newName != LevelDesc.Name) && (newName.Length > 0)) { LevelManager.RenameLevel(LevelDesc.Name, newName); LevelDesc.Name = newName; WriteChanges(); if (null != TreeRefreshNeeded) { TreeRefreshNeeded(); } } }