From ae429cd78a1f52272d5f51991ebb9b04b542ce01 Mon Sep 17 00:00:00 2001
From: "Kartik K. Agaram" <vc@akkartik.com>
Date: Fri, 17 Mar 2023 21:18:17 -0700
Subject: bring a few things in sync between run and source

---
 edit.lua | 5 ++++-
 1 file changed, 4 insertions(+), 1 deletion(-)

(limited to 'edit.lua')

diff --git a/edit.lua b/edit.lua
index a939bc4..715fd1a 100644
--- a/edit.lua
+++ b/edit.lua
@@ -143,7 +143,10 @@ end
 function edit.draw(State)
   State.button_handlers = {}
   App.color(Text_color)
-  assert(#State.lines == #State.line_cache)
+  if #State.lines ~= #State.line_cache then
+    print(('line_cache is out of date; %d when it should be %d'):format(#State.line_cache, #State.lines))
+    assert(false)
+  end
   if not Text.le1(State.screen_top1, State.cursor1) then
     print(State.screen_top1.line, State.screen_top1.pos, State.cursor1.line, State.cursor1.pos)
     assert(false)
-- 
cgit 1.4.1-2-gfad0