Scroll editor to see pasted text after paste
@@ -545,6 +545,8 @@ class EnhancedText(TweakableText):
def _on_paste(self, e):
self._last_event_kind = "paste"
self.edit_separator()
+ self.see("insert")
+ self.after_idle(lambda : self.see("insert"))
def _on_get_focus(self, e):
self._last_event_kind = "get_focus"
