From 815c4f010a9cba64c4508490b763abd337a8a5a8 Mon Sep 17 00:00:00 2001
From: "Kartik K. Agaram" <vc@akkartik.com>
Date: Wed, 25 May 2022 15:00:13 -0700
Subject: [PATCH] assert for a bug I saw a while ago but can no longer
 reproduce

I saw screen_top not at start of screen line, but at cursor location in
middle of line.
---
 main.lua | 1 +
 1 file changed, 1 insertion(+)

diff --git a/main.lua b/main.lua
index 1c3ef50..0dd6d5f 100644
--- a/main.lua
+++ b/main.lua
@@ -124,6 +124,7 @@ function App.draw()
   for line_index,line in ipairs(Lines) do
     line.y = nil
   end
+  assert(Screen_top1.line < Cursor1.line or (Screen_top1.line == Cursor1.line and Screen_top1.pos <= Cursor1.pos))
   local y = 15
 --?   print('== draw')
   for line_index,line in ipairs(Lines) do