I'm not sure what I'm doing.
TZYZ7FYYDJEDP7JO5Q7TIE546G4BUIF2PRWPV46EZMXQ4STVJDTAC
if pane.show_cursor and not eq(pane.screen_top1, {line=1, pos=1}) then
pane.top = math.max(Margin_top, pane.top)
--? print(('tweaking pane top to %d'):format(pane.top))
end
-- TODO: this optimization avoids drawing a lot off screen, but makes panning less fluid
--? if pane.show_cursor and not eq(pane.screen_top1, {line=1, pos=1}) then
--? pane.top = math.max(Margin_top, pane.top)
--? --? print(('tweaking pane top to %d'):format(pane.top))
--? end