public void RemoveTip(ITextView view, IObscuringTip tip)
{
if (!(view is IWpfTextView))
{
return;
}
if (tipStacks.TryGetValue(view, out var stack))
{
stack.Remove(tip);
}
}
public void PushTip(ITextView view, IObscuringTip tip)
{
if (!(view is IWpfTextView))
{
return;
}
if (!tipStacks.TryGetValue(view, out var stack))
{
view.Closed += OnTextViewClosed;
tipStacks[view] = stack = new List <IObscuringTip> ();
}
stack.Add(tip);
}
public void RemoveTip(ITextView view, IObscuringTip tip)
{
}
public void PushTip(ITextView view, IObscuringTip tip)
{
}
public void PushTip(ITextView view, IObscuringTip tip)
{
throw new NotImplementedException();
}
void IObscuringTipManager.RemoveTip(ITextView view, IObscuringTip tip)
{
}
void IObscuringTipManager.PushTip(ITextView view, IObscuringTip tip)
{
}
