akkartik/pong.love - Change SJJTCVWI4FFGF22FAUDMEQAVOZ2IHL6LUYTQBWTEZ3DTOGPT4FCAC

restart gracefully if we quit with the cursor in side B

My current thinking is that edits to debug prints are extremely short-lived state and don't merit being considered part of the "session".

Created by Kartik K. Agaram on August 18, 2022

SJJTCVWI4FFGF22FAUDMEQAVOZ2IHL6LUYTQBWTEZ3DTOGPT4FCAC

Dependencies

In channels

main

Change contents

Insertion in main.lua at line 56 [5.2]

[3.88]

[4.8]


  -- We currently start out with side B collapsed.
  -- Other options:
  --  * save all expanded state by line
  --  * expand all if any location is in side B
  edit.eradicate_locations_after_the_fold(Editor_state)

Replacement in edit.lua at line 210 [6.413]

B:BD[2.22] → [2.22:300]

∅:D[2.300] → [7.237:247]

B:BD[7.237] → [7.237:247]

B:BD[7.247] → [2.301:559]

      -- eradicate side B from any locations we track
      if State.cursor1.posB then
        State.cursor1.posB = nil
        State.cursor1.pos = utf8.len(State.lines[State.cursor1.line].data)
        State.cursor1.pos = Text.pos_at_start_of_screen_line(State, State.cursor1)
      end
      if State.screen_top1.posB then
        State.screen_top1.posB = nil
        State.screen_top1.pos = utf8.len(State.lines[State.screen_top1.line].data)
        State.screen_top1.pos = Text.pos_at_start_of_screen_line(State, State.screen_top1)
      end

[2.22]

[7.247]

      edit.eradicate_locations_after_the_fold(State)

Insertion in edit.lua at line 297 [6.413]

[8.7139]

[6.15990]

  end
end
function edit.eradicate_locations_after_the_fold(State)
  -- eradicate side B from any locations we track
  if State.cursor1.posB then
    State.cursor1.posB = nil
    State.cursor1.pos = utf8.len(State.lines[State.cursor1.line].data)
    State.cursor1.pos = Text.pos_at_start_of_screen_line(State, State.cursor1)
  end
  if State.screen_top1.posB then
    State.screen_top1.posB = nil
    State.screen_top1.pos = utf8.len(State.lines[State.screen_top1.line].data)
    State.screen_top1.pos = Text.pos_at_start_of_screen_line(State, State.screen_top1)