akkartik/pensieve.love - Change E4JXT6QE6RYN6ZYIURRTMVSXGEJ54HO6ZRXIKTAVZFIX4RJCOW7QC

Fork of lines.love without drawings; useful starting point for further forks

merge bugfix

I'm now computing screen_bottom1 which assumes State.top always exists. This invariant is violated in pensieve.love.

Continuing to hack my way in this project; it's not really intended for others.

Created by akkartik on June 13, 2024

E4JXT6QE6RYN6ZYIURRTMVSXGEJ54HO6ZRXIKTAVZFIX4RJCOW7QC

Dependencies

In channels

main

Change contents

Deletion in search.lua at line 71 [5.48846]
∅:D[4.729] → [5.50509:50515]
∅:D[6.82966] → [5.50509:50515]
B:BD[5.50509] → [5.50509:50515]
B:BD[5.50515] → [7.8267:8319]
B:BD[7.8319] → [3.738:866]
∅:D[8.157] → [4.832:880]
∅:D[3.866] → [4.832:880]
∅:D[7.8415] → [4.832:880]
B:BD[4.832] → [4.832:880]
B:BD[4.880] → [9.764:835]
∅:D[10.69] → [4.1002:1034]
∅:D[11.531] → [4.1002:1034]
∅:D[9.835] → [4.1002:1034]
∅:D[12.16895] → [4.1002:1034]
B:BD[4.1002] → [4.1002:1034]
```
  end
  local screen_bottom1 = Text.screen_bottom1(State)
  if Text.lt1(State.cursor1, State.screen_top1) or
      (screen_bottom1.line and Text.lt1(screen_bottom1, State.cursor1)) then
    State.screen_top1.line = State.cursor1.line
    local pos = Text.pos_at_start_of_screen_line(State, State.cursor1)
    State.screen_top1.pos = pos
```

Insertion in search.lua at line 72 [5.48846]

[5.50722]

[2.15]

  -- no need to scroll; pensieve.love handles that in plan_draw