// ---------------------------------------------------------------------------------------------------------------------------------------------------------
        private void BtnSwitchDetailsScopeOrder_Click(object sender, RoutedEventArgs e)
        {
            if (this.SymbolSource == null)
            {
                return;
            }

            VisualSymbolFormat.SetShowGlobalDetailsFirst(this.SymbolSource, !VisualSymbolFormat.GetShowGlobalDetailsFirst(this.SymbolSource));
            DockPanel.SetDock(this.GlobalDetailsMaintainer, (VisualSymbolFormat.GetShowGlobalDetailsFirst(this.SymbolSource) ? Dock.Top : Dock.Bottom));
        }
        private void UserControl_Loaded(object sender, RoutedEventArgs e)
        {
            if (this.SymbolSource == null)
            {
                return;
            }

            DockPanel.SetDock(this.GlobalDetailsMaintainer,
                              (VisualSymbolFormat.GetShowGlobalDetailsFirst(this.SymbolSource)
                              ? Dock.Top : Dock.Bottom));
        }