Fix WARNING: __record_undoable() 'Recording a change without a user action.'

github/fork/sternenseemann/patch-1
Thomas Lavend'Homme 2019-12-23 19:34:26 -05:00
parent e4b5952ec2
commit 5cae9eb68c
No known key found for this signature in database
GPG Key ID: CCA8234E45728B5C
1 changed files with 3 additions and 1 deletions

View File

@ -262,7 +262,9 @@ class TextView(Gtk.TextView):
iter.backward_char()
if iter.get_char() == "\t":
text_buffer.delete(iter, end)
with user_action(text_buffer):
text_buffer.delete(iter, end)
def clear(self):
"""Clear text and undo history"""