[mono/monodevelop] e20e3566: [TextEditor] Be more careful with stacking keyboard undo steps.
| Newsgroups | gmane.comp.gnome.mono.patches |
|---|---|
| Message-ID | <00000141aacf75bf-cbdf6d2e-1a9f-45c0-b3f0-ac66577f56d5-000000@email.amazonses.com> |
Branch: refs/heads/master
Home: https://github.com/mono/monodevelop
Compare: https://github.com/mono/monodevelop/compare/74fef8480fee...e20e35664bf0
Commit: e20e35664bf0236d9915a113458c6ef84b1e9b20
Author: Mike Krüger <[email protected]> (mkrueger)
Date: 2013-10-12 03:54:54 GMT
URL: https://github.com/mono/monodevelop/commit/e20e35664bf0236d9915a113458c6ef84b1e9b20
[TextEditor] Be more careful with stacking keyboard undo steps.
Changed paths:
M main/src/core/Mono.Texteditor/Mono.TextEditor/Document/TextDocument.cs
Modified: main/src/core/Mono.Texteditor/Mono.TextEditor/Document/TextDocument.cs
===================================================================
@@ -755,7 +755,7 @@ public void OptimizeTypedUndo ()
undoStack.Push (keyUndo);
keyUndo = new KeyboardStackUndo ();
}
- if (keyUndo.Args != null && keyUndo.Args.Offset + 1 != top.Args.Offset) {
+ if (keyUndo.Args != null && keyUndo.Args.Offset + 1 != top.Args.Offset || !char.IsLetterOrDigit (top.Args.InsertedText.GetCharAt (0))) {
keyUndo.IsClosed = true;
undoStack.Push (keyUndo);
keyUndo = new KeyboardStackUndo ();
_______________________________________________
Mono-patches maillist - [email protected]
http://lists.ximian.com/mailman/listinfo/mono-patches