public void AddExtraLabel(int i, Label v) { Debug.Assert(v != null); if (ExtraLabels.ContainsKey(i)) { return; } v.CleanUp(); ExtraLabels.Add(i, v); }
public void AddExtraLabel(int i, Label v) { Debug.Assert(v != null); if (ExtraLabels.ContainsKey(i)) { if (v.Name[0] == '.') { return; } ExtraLabels.Remove(i); } v.CleanUp(); ExtraLabels.Add(i, v); }