Changeset 16832 for stable/HeuristicLab.CodeEditor/3.4/CodeEditor.cs
- Timestamp:
- 04/19/19 09:34:14 (5 years ago)
- Location:
- stable
- Files:
-
- 2 edited
Legend:
- Unmodified
- Added
- Removed
-
stable
-
stable/HeuristicLab.CodeEditor/3.4/CodeEditor.cs
r15584 r16832 109 109 get { return Doc.GetText(prefix.Length, Doc.TextLength - suffix.Length - prefix.Length); } 110 110 set { 111 if (Doc.Text == value) return; 112 Doc.Replace(prefix.Length, Doc.TextLength - suffix.Length - prefix.Length, value); 111 var curLength = Doc.TextLength - suffix.Length - prefix.Length; 112 var curUserCode = Doc.GetText(prefix.Length, curLength); 113 if (curUserCode == value) return; 114 Doc.Replace(prefix.Length, curLength, value); 113 115 } 114 116 } … … 274 276 #endregion 275 277 278 public override void ClearEditHistory() { 279 Doc.UndoStack.ClearAll(); 280 } 281 276 282 public override void ScrollToPosition(int line, int column) { 277 283 var segment = GetSegmentAtLocation(line, column);
Note: See TracChangeset
for help on using the changeset viewer.