aboutsummaryrefslogtreecommitdiffstats
path: root/Software/Visual_Studio/MachineStudio/Modules/Tango.MachineStudio.Synchronization/packages.config
blob: 3f608c9829d7c476360f404b83b679f7c6bfa1d5 (plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
<?xml version="1.0" encoding="utf-8"?>
<packages>
  <package id="CommonServiceLocator" version="1.3" targetFramework="net46" />
  <package id="EntityFramework" version="6.0.0" targetFramework="net46" />
  <package id="Expression.Blend.Sdk" version="1.0.2" targetFramework="net46" />
  <package id="FontAwesome.WPF" version="4.7.0.9" targetFramework="net46" />
  <package id="Google.Protobuf" version="3.4.1" targetFramework="net46" />
  <package id="MahApps.Metro" version="1.5.0" targetFramework="net46" />
  <package id="MaterialDesignColors" version="1.1.2" targetFramework="net46" />
  <package id="MaterialDesignThemes" version="2.3.1.953" targetFramework="net46" />
  <package id="System.Reactive" version="3.1.1" targetFramework="net46" />
  <package id="System.Reactive.Core" version="3.1.1" targetFramework="net46" />
  <package id="System.Reactive.Interfaces" version="3.1.1" targetFramework="net46" />
  <package id="System.Reactive.Linq" version="3.1.1" targetFramework="net46" />
  <package id="System.Reactive.PlatformServices" version="3.1.1" targetFramework="net46" />
  <package id="System.Reactive.Windows.Threading" version="3.1.1" targetFramework="net46" />
</packages>
Operation : IUndoableOperationWithContext { TextDocument document; DocumentChangeEventArgs change; public DocumentChangeOperation(TextDocument document, DocumentChangeEventArgs change) { this.document = document; this.change = change; } public void Undo(UndoStack stack) { Debug.Assert(stack.state == UndoStack.StatePlayback); stack.RegisterAffectedDocument(document); stack.state = UndoStack.StatePlaybackModifyDocument; this.Undo(); stack.state = UndoStack.StatePlayback; } public void Redo(UndoStack stack) { Debug.Assert(stack.state == UndoStack.StatePlayback); stack.RegisterAffectedDocument(document); stack.state = UndoStack.StatePlaybackModifyDocument; this.Redo(); stack.state = UndoStack.StatePlayback; } public void Undo() { OffsetChangeMap map = change.OffsetChangeMapOrNull; document.Replace(change.Offset, change.InsertionLength, change.RemovedText, map != null ? map.Invert() : null); } public void Redo() { document.Replace(change.Offset, change.RemovalLength, change.InsertedText, change.OffsetChangeMapOrNull); } } }