Exemple #1
0
        public void Window_Closed(object sender, EventArgs e)
        {
            var remWd = (from wd in WinCollection
                         where (wd.Win == sender)
                         select wd).FirstOrDefault();

            WinCollection.Remove(remWd);
            if (remWd.WinType == WindowType.GlobalSetting)
            {
                isGlobalSettingWindowOpen = false;
                gSW = null;
            }
            if (activeWindow is graphWindow)
            {
                activeGraphCanvas = ((graphWindow)activeWindow).graphGUI;
            }
            else if (activeWindow is ruleWindow)
            {
                activeGraphCanvas = ((ruleWindow)activeWindow).graphCanvasK;
            }
            else
            {
                activeGraphCanvas = null;
            }
            main.propertyUpdate();
        }
Exemple #2
0
        public void RemoveWindow(Window w)
        {
            var remWd = (from wd in WinCollection
                         where (wd.Win == w)
                         select wd).FirstOrDefault();

            WinCollection.Remove(remWd);
        }
Exemple #3
0
        internal void SetAsActive(Window win)
        {
            main.MoveFocus(new TraversalRequest(FocusNavigationDirection.Last));
            var activeWd = (from wd in WinCollection
                            where (wd.Win == win)
                            select wd).FirstOrDefault();

            if (WinCollection[0] == activeWd)
            {
                return;
            }
            ignoreSelectionChange = true;
            WinCollection.Remove(activeWd);
            WinCollection.Insert(0, activeWd);
            ignoreSelectionChange = false;
        }