public void RemoveTabKeyTip(KeyTip kt) { tabKeyTips.Remove (kt); }
public void AddKeyTip(KeyTip kt) { keyTips.Add (kt); }
public void AddTabKeyTip(KeyTip kt) { tabKeyTips.Add (kt); }
public void RemoveKeyTip(KeyTip kt) { keyTips.Remove (kt); }