Exemple #1
0
        protected void RefreshTabList()
        {
            string oldSelection = (TabList.SelectedItem as string) ?? "Scripts";

            TabList.BeginUpdate();
            TabList.Items.Clear();
            TabList.Items.Add("Scripts");
            TabList.Items.AddRange((
                                       from k in _Panels.Keys
                                       where k != "Scripts" orderby k select k
                                       ).ToArray());
            try {
                TabList.SelectedItem = oldSelection;
            } catch {
            }
            TabList.EndUpdate();
        }