void OnRegistryChanged (object sender, RegistryEventArgs e)
		{
			RegistryInfo reg;
			if (registries.TryGetValue (e.Registry, out reg)) {
				var nav = tree.BuilderContext.GetTreeBuilder (reg);
				if (nav != null)
					nav.UpdateAll ();
			}
		}