do not keep undo data in the debug buffer
This commit is contained in:
parent
eac68f09a4
commit
a0b75817a5
|
@ -23,8 +23,9 @@ void write_debug(const String& str)
|
||||||
{
|
{
|
||||||
Buffer& debug_buffer = get_or_create_debug_buffer();
|
Buffer& debug_buffer = get_or_create_debug_buffer();
|
||||||
Editor editor(debug_buffer);
|
Editor editor(debug_buffer);
|
||||||
editor.select(debug_buffer.end());
|
editor.select(debug_buffer.end()-1);
|
||||||
editor.insert(str);
|
editor.insert(str);
|
||||||
|
debug_buffer.reset_undo_data();
|
||||||
}
|
}
|
||||||
|
|
||||||
}
|
}
|
||||||
|
|
Loading…
Reference in New Issue
Block a user