aboutsummaryrefslogtreecommitdiffstats
path: root/Software/Visual_Studio/MachineStudio/Modules/Tango.MachineStudio.Logging/Views/EventsView.xaml.cs
blob: 83710f1c9cc5c74e30f3d3de54a6cecc20ac3ede (plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
using System;
using System.Collections.Generic;
using System.Linq;
using System.Text;
using System.Threading.Tasks;
using System.Windows;
using System.Windows.Controls;
using System.Windows.Data;
using System.Windows.Documents;
using System.Windows.Input;
using System.Windows.Media;
using System.Windows.Media.Imaging;
using System.Windows.Navigation;
using System.Windows.Shapes;

namespace Tango.MachineStudio.Logging.Views
{
    /// <summary>
    /// Interaction logic for EventsView.xaml
    /// </summary>
    public partial class EventsView : UserControl
    {
        public EventsView()
        {
            InitializeComponent();
        }

        private void grid_SelectedCellsChanged(object sender, SelectedCellsChangedEventArgs e)
        {
            grid.SelectedIndex = -1;
        }
    }
}
s="w"> DocumentChangeEventArgs : EventArgs { /// <summary> /// The offset at which the change occurs. /// </summary> public int Offset { get; private set; } /// <summary> /// The text that was removed. /// </summary> public string RemovedText { get; private set; } /// <summary> /// The number of characters removed. /// </summary> public int RemovalLength { get { return RemovedText.Length; } } /// <summary> /// The text that was inserted. /// </summary> public string InsertedText { get; private set; } /// <summary> /// The number of characters inserted. /// </summary> public int InsertionLength { get { return InsertedText.Length; } } volatile OffsetChangeMap offsetChangeMap; /// <summary> /// Gets the OffsetChangeMap associated with this document change. /// </summary> /// <remarks>The OffsetChangeMap instance is guaranteed to be frozen and thus thread-safe.</remarks> public OffsetChangeMap OffsetChangeMap { get { OffsetChangeMap map = offsetChangeMap; if (map == null) { // create OffsetChangeMap on demand map = OffsetChangeMap.FromSingleElement(CreateSingleChangeMapEntry()); offsetChangeMap = map; } return map; } } internal OffsetChangeMapEntry CreateSingleChangeMapEntry() { return new OffsetChangeMapEntry(this.Offset, this.RemovalLength, this.InsertionLength); } /// <summary> /// Gets the OffsetChangeMap, or null if the default offset map (=single replacement) is being used. /// </summary> internal OffsetChangeMap OffsetChangeMapOrNull { get { return offsetChangeMap; } } /// <summary> /// Gets the new offset where the specified offset moves after this document change. /// </summary> public int GetNewOffset(int offset, AnchorMovementType movementType) { if (offsetChangeMap != null) return offsetChangeMap.GetNewOffset(offset, movementType); else return CreateSingleChangeMapEntry().GetNewOffset(offset, movementType); } /// <summary> /// Creates a new DocumentChangeEventArgs object. /// </summary> public DocumentChangeEventArgs(int offset, string removedText, string insertedText) : this(offset, removedText, insertedText, null) { } /// <summary> /// Creates a new DocumentChangeEventArgs object. /// </summary> public DocumentChangeEventArgs(int offset, string removedText, string insertedText, OffsetChangeMap offsetChangeMap) { ThrowUtil.CheckNotNegative(offset, "offset"); ThrowUtil.CheckNotNull(removedText, "removedText"); ThrowUtil.CheckNotNull(insertedText, "insertedText"); this.Offset = offset; this.RemovedText = removedText; this.InsertedText = insertedText; if (offsetChangeMap != null) { if (!offsetChangeMap.IsFrozen) throw new ArgumentException("The OffsetChangeMap must be frozen before it can be used in DocumentChangeEventArgs"); if (!offsetChangeMap.IsValidForDocumentChange(offset, removedText.Length, insertedText.Length)) throw new ArgumentException("OffsetChangeMap is not valid for this document change", "offsetChangeMap"); this.offsetChangeMap = offsetChangeMap; } } /// <summary> /// Creates DocumentChangeEventArgs for the reverse change. /// </summary> public DocumentChangeEventArgs Invert() { OffsetChangeMap map = this.OffsetChangeMapOrNull; if (map != null) { map = map.Invert(); map.Freeze(); } return new DocumentChangeEventArgs(this.Offset, this.InsertedText, this.RemovedText, map); } } }