akkartik/pensieve.love - Change GMOFM2TFVNOYYMKAMZNRGECLNZESBUBYOHQ24TXL2VWA3XMKQOIAC

The text_input case is easier, so let's do that first. Just forget about the state of screen_top1 and just ensure the cursor is in view.

Now the remaining case is more challenging. We might need to scroll upwards sometimes using bring_cursor_of_cursor_pane_in_view.

Created by Kartik K. Agaram on January 4, 2023

GMOFM2TFVNOYYMKAMZNRGECLNZESBUBYOHQ24TXL2VWA3XMKQOIAC

main

B:BD[3.27303] → [3.27303:27388]

              local old_top = {line=pane.screen_top1.line, pos=pane.screen_top1.pos}

B:BD[5.950] → [2.17:112]

              local screen_top_updated = maybe_update_screen_top_of_cursor_pane(pane, old_top)

[5.950]

[3.27494]

              bring_cursor_of_cursor_pane_in_view('down')

B:BD[3.27527] → [2.113:192]

              plan_draw{preserve_screen_top_of_cursor_pane=screen_top_updated}

[3.27527]

[3.27553]

              plan_draw()