From 73fefa7d0961d3831da6c8b2eb7b1b05e3614a69 Mon Sep 17 00:00:00 2001
From: "Kartik K. Agaram" <vc@akkartik.com>
Date: Tue, 6 Sep 2022 10:05:20 -0700
Subject: support selections in the source editor

I've only tested side A so far, and included a statement of how I want
side B to behave.
---
 text.lua | 1 -
 1 file changed, 1 deletion(-)

(limited to 'text.lua')

diff --git a/text.lua b/text.lua
index 6be260d..9720bfa 100644
--- a/text.lua
+++ b/text.lua
@@ -931,7 +931,6 @@ end
 
 -- resize helper
 function Text.tweak_screen_top_and_cursor(State)
---?   print('a', State.selection1.line)
   if State.screen_top1.pos == 1 then return end
   Text.populate_screen_line_starting_pos(State, State.screen_top1.line)
   local line = State.lines[State.screen_top1.line]
-- 
cgit 1.4.1-2-gfad0