delete some seemingly redundant code
commitc064f0a97df56c28d9d76a226ce152d97e40450a
authorKartik K. Agaram <vc@akkartik.com>
Mon, 8 Jul 2024 21:10:49 +0000 (8 14:10 -0700)
committerKartik K. Agaram <vc@akkartik.com>
Mon, 8 Jul 2024 21:10:49 +0000 (8 14:10 -0700)
tree998977f1b0f0be0581519275de2e8ef16ce775dc
parent5a74b6938e5a37b8b2d1f8e49039cf1cbae46a50
delete some seemingly redundant code

We're patching line_cache and then immediately clearing it using
Text.redraw_all.
edit.lua
source_edit.lua
source_undo.lua
undo.lua