[PATCH] Bug 3363: internal middle button paste does not mark buffer dirty.

[Bo Peng]

This patch partially fix bug 3363 by marking buffer dirty after
internal middle button paste.

Seems easy enough. Jose?

Bo

Index: src/Text3.cpp
===================================================================
--- src/Text3.cpp       (revision 18628)
+++ src/Text3.cpp       (working copy)
@@ -1032,6 +1032,7 @@
                       if (paste_internally) {
                               cap::pasteSelection(cur,
bv->buffer()->errorList("Paste"));
                               bv->buffer()->errors("Paste");
+                               bv->buffer()->markDirty();
                               cur.clearSelection(); // bug 393
                               bv->switchKeyMap();
                               finishUndo();