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