//
        // Mechanics
        //

        private void DataGridMessages_SelectionChanged(object sender, SelectionChangedEventArgs e)
        {
            if (DataGridMessages.SelectedItem is AasEventMsgEnvelope msg)
            {
                TabControlDetail.SelectedItem = TabItemMsgEnvelope;
                var info = msg.ToMarkup();
                RichTextBoxEvent.SetMarkup(info);
            }
        }
        private void UserControl_Loaded(object sender, RoutedEventArgs e)
        {
            DataGridMessages.DataContext = _eventStore;

            RichTextBoxEvent.SetXaml("<Paragraph><Run>No event selected</Run></Paragraph>");

            TabControlDetail.SelectedItem         = TabItemMsgEnvelope;
            RichTextBoxEvent.MiniMarkupLinkClick += (markup, link) =>
            {
                if (markup is MiniMarkupLink mml &&
                    mml.LinkObject is IAasPayloadItem pl)
                {
                    // jump to details
                    TabControlDetail.SelectedItem = TabItemDetail;

                    // set text
                    RichTextBoxDetails.Document.Blocks.Clear();
                    RichTextBoxDetails.Document.Blocks.Add(new Paragraph(new Run("" + pl.GetDetailsText())));
                }
            };
        }