Beispiel #1
0
        private void DockManager_EndDocking(object sender, EndDockingEventArgs e)
        {
            SaveLayout();

            string id = (e.Panel != null) ? e.Panel.Name : "null";

            LogDockManagerEvent("DockManager_EndDocking " + id);
        }
Beispiel #2
0
        void OnEndDocking(object sender, EndDockingEventArgs e)
        {
            DockPanel panel = e.Panel;
            IdentKey  key   = panel.Tag as IdentKey;
            IView     view  = null;

            if (key == null || !_views.TryGetValue(key, out view))
            {
                return;
            }
            _logger.Debug("OnEndDocking event. " + view.ToString());
        }
Beispiel #3
0
 private void dockManager1_EndDocking(object sender, EndDockingEventArgs e)
 {
     SaveLayout();
 }