diff options
| author | Maxime Coste <frrrwww@gmail.com> | 2012-09-11 19:03:13 +0200 |
|---|---|---|
| committer | Maxime Coste <frrrwww@gmail.com> | 2012-09-11 19:03:13 +0200 |
| commit | a0b75817a5a1e8f36ce43974378bb581abb70fe4 (patch) | |
| tree | fcce603f60b371bfc0e58b36e0f5d84b414a39bf /src/debug.cc | |
| parent | eac68f09a461fc39366ef9bc19df7952ded97787 (diff) | |
do not keep undo data in the debug buffer
Diffstat (limited to 'src/debug.cc')
| -rw-r--r-- | src/debug.cc | 3 |
1 files changed, 2 insertions, 1 deletions
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(); } } |