From a0b75817a5a1e8f36ce43974378bb581abb70fe4 Mon Sep 17 00:00:00 2001
From: Maxime Coste <frrrwww@gmail.com>
Date: Tue, 11 Sep 2012 19:03:13 +0200
Subject: [PATCH] do not keep undo data in the debug buffer

---
 src/debug.cc | 3 ++-
 1 file changed, 2 insertions(+), 1 deletion(-)

diff --git a/src/debug.cc b/src/debug.cc
index 84f52581..e3f73aeb 100644
--- a/src/debug.cc
+++ b/src/debug.cc
@@ -23,8 +23,9 @@ void write_debug(const String& str)
 {
     Buffer& debug_buffer = get_or_create_debug_buffer();
     Editor editor(debug_buffer);
-    editor.select(debug_buffer.end());
+    editor.select(debug_buffer.end()-1);
     editor.insert(str);
+    debug_buffer.reset_undo_data();
 }
 
 }