static public void Hide() { if (toolTip.Visible) { if (isActive) { isActive = false; UITools.UnlockControl(); // unlock keys } toolTip.Visible = false; toolTipRTB.Select(0, toolTipRTB.Text.Length); toolTipRTB.SelectionFont = new Font(toolTipRTB.Font.FontFamily, toolTipRTB.Font.Size, FontStyle.Regular); } }
static public void Hide() { if ((completionList != null) && isActive) { // list tempo.Enabled = false; isActive = false; fullList = false; completionList.Visible = false; if (completionList.Items.Count > 0) { completionList.Items.Clear(); } currentItem = null; allItems = null; InfoTip.Hide(); // InfoTip UITools.UnlockControl(); // unlock keys } }