akkartik/sokoban.love - Change IMEJA43L3OX7S5KIYLZJ4F3ITACLAA5SZBHSCIJMULCPRSW7LXBAC

snapshot

Why the fuck is this so fucking hard?

Created by Kartik K. Agaram on May 23, 2022

IMEJA43L3OX7S5KIYLZJ4F3ITACLAA5SZBHSCIJMULCPRSW7LXBAC

Dependencies

In channels

main

Change contents

Insertion in text.lua at line 28 [5.1]
[3.62]
[4.2068]
```
    print(x, frag, frag_width, line_width)
```

Insertion in text.lua at line 31 [5.1]

[4.2151]

[6.1]

                                          -- I no longer remember why the fuck I added this

Insertion in text.lua at line 44 [5.1]

[7.115]

      print(line_index, Screen_top1.line, pos, Screen_top1.pos)

Insertion in text.lua at line 46 [5.1]
[7.184]
[8.109]
```
      print('a')
```

Insertion in text.lua at line 48 [5.1]

[8.170]

[7.241]

          print('b', y, App.screen.height)

Replacement in text.lua at line 91 [5.1]
B:BD[3.219] → [3.219:238]
```
  Line_width = 120
```
[3.219]
[3.238]
```
  Line_width = App.screen.width
```
Replacement in text.lua at line 111 [5.1]
B:BD[8.330] → [8.330:349]
```
  Line_width = 120
```
[8.330]
[8.349]
```
  Line_width = App.screen.width
```

Insertion in text.lua at line 126 [5.1]

[8.876]

  check_eq(Screen_top1.line, 2, 'F - test_pagedown/screen_top')
  check_eq(Cursor1.line, 2, 'F - test_pagedown/cursor')

Replacement in text.lua at line 156 [5.1]
∅:D[9.254] → [8.1847:1902]
B:BD[8.1847] → [8.1847:1902]
```
  -- after pagedown the screen draws the screen up top
```
[9.254]
[10.539]
```
  -- after pagedown the screen draws the drawing up top
```

Replacement in text.lua at line 159 [5.1]

B:BD[8.1939] → [9.255:299]

--?   print('test: top:', Screen_top1.line)

[8.1939]

  check_eq(Screen_top1.line, 2, 'F - test_pagedown_skips_drawings/screen_top')
  check_eq(Cursor1.line, 3, 'F - test_pagedown_skips_drawings/cursor')

Replacement in text.lua at line 169 [5.1]
B:BD[9.548] → [9.548:567]
```
  Line_width = 120
```
[9.548]
[9.567]
```
  Line_width = App.screen.width
```

Replacement in text.lua at line 184 [5.1]

B:BD[9.1142] → [9.1142:1200]

  -- after hitting the down arrow the screen is unchanged

[9.1142]

[9.1200]

  -- after hitting the down arrow, the cursor moves down by 1 line

Insertion in text.lua at line 186 [5.1]

[9.1233]

  check_eq(Screen_top1.line, 1, 'F - test_up_arrow_moves_cursor/screen_top')
  check_eq(Cursor1.line, 2, 'F - test_down_arrow_moves_cursor/cursor')
  -- the screen is unchanged

Deletion in text.lua at line 195 [5.1]

B:BD[9.1523] → [9.1523:1564]

B:BD[9.1564] → [2.27:104]

∅:D[2.104] → [9.1564:1635]

B:BD[9.1564] → [9.1564:1635]

  -- but the cursor moves down by 1 line
  check_eq(Screen_top1.line, 1, 'F - test_up_arrow_moves_cursor/screen_top')
  check_eq(Cursor1.line, 2, 'F - test_down_arrow_moves_cursor/cursor')

Replacement in text.lua at line 202 [5.1]
B:BD[9.1903] → [9.1903:1922]
```
  Line_width = 120
```
[9.1903]
[9.1922]
```
  Line_width = App.screen.width
```

Insertion in text.lua at line 218 [5.1]

[9.2585]

  check_eq(Screen_top1.line, 2, 'F - test_down_arrow_scrolls_down_by_one_line/screen_top')
  check_eq(Cursor1.line, 4, 'F - test_down_arrow_scrolls_down_by_one_line/cursor')

Replacement in text.lua at line 226 [5.1]

B:BD[9.2911] → [2.105:279]

  check_eq(Screen_top1.line, 2, 'F - test_down_arrow_scrolls_down_by_one_line/screen_top')
  check_eq(Cursor1.line, 4, 'F - test_down_arrow_scrolls_down_by_one_line/cursor')

[9.2911]

[2.279]

end
function test_down_arrow_scrolls_down_by_one_screen_line()
  print('test_down_arrow_scrolls_down_by_one_screen_line')
  -- display the first three lines with the cursor on the bottom line
  App.screen.init{width=25+30, height=60}
  Lines = load_array{'abc', 'def', 'ghi jkl', 'mno'}
  Line_width = App.screen.width
  Cursor1 = {line=3, pos=1}
  Screen_top1 = {line=1, pos=1}
  Screen_bottom1 = {}
  Zoom = 1
  local screen_top_margin = 15  -- pixels
  local line_height = math.floor(15*Zoom)  -- pixels
  App.draw()
  local y = screen_top_margin
  App.screen.check(y, 'abc', 'F - test_down_arrow_scrolls_down_by_one_screen_line/baseline/screen:1')
  y = y + line_height
  App.screen.check(y, 'def', 'F - test_down_arrow_scrolls_down_by_one_screen_line/baseline/screen:2')
  y = y + line_height
  App.screen.check(y, 'ghi ', 'F - test_down_arrow_scrolls_down_by_one_screen_line/baseline/screen:3')  -- line wrapping includes trailing whitespace
  -- after hitting the down arrow the screen scrolls down by one line
  App.run_after_keychord('down')
  check_eq(Screen_top1.line, 2, 'F - test_down_arrow_scrolls_down_by_one_screen_line/screen_top')
  check_eq(Cursor1.line, 3, 'F - test_down_arrow_scrolls_down_by_one_screen_line/cursor:line')
  check_eq(Cursor1.pos, 5, 'F - test_down_arrow_scrolls_down_by_one_screen_line/cursor:pos')
  y = screen_top_margin
  App.screen.check(y, 'def', 'F - test_down_arrow_scrolls_down_by_one_screen_line/screen:1')
  y = y + line_height
  App.screen.check(y, 'ghi ', 'F - test_down_arrow_scrolls_down_by_one_screen_line/screen:2')
  y = y + line_height
  -- HERE
  App.screen.check(y, 'jkl', 'F - test_down_arrow_scrolls_down_by_one_screen_line/screen:3')
end
function test_down_arrow_scrolls_down_by_one_screen_line_after_splitting_within_word()
  print('test_down_arrow_scrolls_down_by_one_screen_line_after_splitting_within_word')
  -- display the first three lines with the cursor on the bottom line
  App.screen.init{width=25+30, height=60}
  Lines = load_array{'abc', 'def', 'ghijkl', 'mno'}
  Line_width = App.screen.width
  Cursor1 = {line=3, pos=1}
  Screen_top1 = {line=1, pos=1}
  Screen_bottom1 = {}
  Zoom = 1
  local screen_top_margin = 15  -- pixels
  local line_height = math.floor(15*Zoom)  -- pixels
  App.draw()
  local y = screen_top_margin
  App.screen.check(y, 'abc', 'F - test_down_arrow_scrolls_down_by_one_screen_line_after_splitting_within_word/baseline/screen:1')
  y = y + line_height
  App.screen.check(y, 'def', 'F - test_down_arrow_scrolls_down_by_one_screen_line_after_splitting_within_word/baseline/screen:2')
  y = y + line_height
  App.screen.check(y, 'ghijk', 'F - test_down_arrow_scrolls_down_by_one_screen_line_after_splitting_within_word/baseline/screen:3')
  -- after hitting the down arrow the screen scrolls down by one line
  App.run_after_keychord('down')
  check_eq(Screen_top1.line, 2, 'F - test_down_arrow_scrolls_down_by_one_screen_line_after_splitting_within_word/screen_top')
  check_eq(Cursor1.line, 3, 'F - test_down_arrow_scrolls_down_by_one_screen_line_after_splitting_within_word/cursor:line')
  check_eq(Cursor1.pos, 6, 'F - test_down_arrow_scrolls_down_by_one_screen_line_after_splitting_within_word/cursor:pos')
  y = screen_top_margin
  App.screen.check(y, 'def', 'F - test_down_arrow_scrolls_down_by_one_screen_line_after_splitting_within_word/screen:1')
  y = y + line_height
  App.screen.check(y, 'ghijk', 'F - test_down_arrow_scrolls_down_by_one_screen_line_after_splitting_within_word/screen:2')
  y = y + line_height
  App.screen.check(y, 'l', 'F - test_down_arrow_scrolls_down_by_one_screen_line_after_splitting_within_word/screen:3')

Replacement in text.lua at line 312 [5.1]

B:BD[2.1052] → [2.1052:1108]

  -- after hitting the up arrow the screen is unchanged

[2.1052]

[2.1108]

  -- after hitting the up arrow the cursor moves up by 1 line

Insertion in text.lua at line 314 [5.1]

[2.1139]

  check_eq(Screen_top1.line, 1, 'F - test_up_arrow_moves_cursor/screen_top')
  check_eq(Cursor1.line, 2, 'F - test_up_arrow_moves_cursor/cursor')
  -- the screen is unchanged

Deletion in text.lua at line 323 [5.1]

B:BD[2.1423] → [2.1423:1608]

  -- but the cursor moves up by 1 line
  check_eq(Screen_top1.line, 1, 'F - test_up_arrow_moves_cursor/screen_top')
  check_eq(Cursor1.line, 2, 'F - test_up_arrow_moves_cursor/cursor')

Insertion in text.lua at line 346 [5.1]

[2.2517]

  check_eq(Screen_top1.line, 1, 'F - test_up_arrow_scrolls_up_by_one_line/screen_top')
  check_eq(Cursor1.line, 1, 'F - test_up_arrow_scrolls_up_by_one_line/cursor')

Replacement in text.lua at line 354 [5.1]

B:BD[2.2831] → [2.2831:2997]

  check_eq(Screen_top1.line, 1, 'F - test_up_arrow_scrolls_up_by_one_line/screen_top')
  check_eq(Cursor1.line, 1, 'F - test_up_arrow_scrolls_up_by_one_line/cursor')

[2.2831]

[8.2148]

end
function test_up_arrow_scrolls_up_by_one_screen_line()
  print('test_up_arrow_scrolls_up_by_one_screen_line')
  -- display the lines 2/3/4 with the cursor on line 2
  App.screen.init{width=120, height=60}
  Lines = load_array{'abc', 'def', 'ghi', 'jkl'}
  Line_width = App.screen.width
  Cursor1 = {line=2, pos=1}
  Screen_top1 = {line=2, pos=1}
  Screen_bottom1 = {}
  Zoom = 1
  local screen_top_margin = 15  -- pixels
  local line_height = math.floor(15*Zoom)  -- pixels
  App.draw()
  local y = screen_top_margin
  App.screen.check(y, 'def', 'F - test_up_arrow_scrolls_up_by_one_screen_line/baseline/screen:1')
  y = y + line_height
  App.screen.check(y, 'ghi', 'F - test_up_arrow_scrolls_up_by_one_screen_line/baseline/screen:2')
  y = y + line_height
  App.screen.check(y, 'jkl', 'F - test_up_arrow_scrolls_up_by_one_screen_line/baseline/screen:3')
  -- after hitting the up arrow the screen scrolls up by one line
  App.run_after_keychord('up')
  y = screen_top_margin
  App.screen.check(y, 'abc', 'F - test_up_arrow_scrolls_up_by_one_screen_line/screen:1')
  y = y + line_height
  App.screen.check(y, 'def', 'F - test_up_arrow_scrolls_up_by_one_screen_line/screen:2')
  y = y + line_height
  App.screen.check(y, 'ghi', 'F - test_up_arrow_scrolls_up_by_one_screen_line/screen:3')
  check_eq(Screen_top1.line, 1, 'F - test_up_arrow_scrolls_up_by_one_screen_line/screen_top')
  check_eq(Cursor1.line, 1, 'F - test_up_arrow_scrolls_up_by_one_screen_line/cursor')

Insertion in text.lua at line 388 [5.1]
[11.51]
[11.51]
```
--?   print('compute_fragments')
```

Insertion in text.lua at line 398 [5.1]

[11.493]

      assert(25 + frag_width > line_width)  -- avoid infinite loop when window is too narrow

Insertion in text.lua at line 401 [5.1]

[11.571]

          print(frag, x, frag_width, line_width)

Replacement in text.lua at line 404 [5.1]

B:BD[11.672] → [11.672:738]

          local b = Text.nearest_cursor_pos(frag, line_width - x)

[11.672]

[11.738]

          local b = Text.nearest_pos_less_than(frag, line_width - x)

Replacement in text.lua at line 408 [5.1]

B:BD[3.882] → [3.882:951]

          local frag1_width = math.floor(frag1App.width(_text)*Zoom)

[3.882]

[11.998]

          local frag1_width = math.floor(App.width(frag1_text)*Zoom)
          print(frag, x, frag1_width, line_width)
          assert(x + frag1_width <= line_width)

Replacement in text.lua at line 766 [5.1]

B:BD[5.469] → [12.157:199]

function Text.nearest_cursor_pos(line, x)

[5.469]

[5.517]

function Text.nearest_cursor_pos(line, x)  -- x includes left margin

Insertion in text.lua at line 797 [5.1]

[5.1184]

function Text.nearest_pos_less_than(line, x)  -- x DOES NOT include left margin
  if x == 0 then
    return 1
  end
  local len = utf8.len(line)
  local max_x = Text.cursor_x2(line, len+1)
  if x > max_x then
    return len+1
  end
  local left, right = 1, len+1
--?   print('--')
  while true do
    local curr = math.floor((left+right)/2)
    local currxmin = Text.cursor_x2(line, curr+1)
    local currxmax = Text.cursor_x2(line, curr+2)
--?     print(x, left, right, curr, currxmin, currxmax)
    if currxmin <= x and x < currxmax then
      return curr
    end
    if left >= right-1 then
      return left
    end
    if currxmin > x then
      right = curr
    else
      left = curr
    end
  end
  assert(false)
end

Insertion in app.lua at line 202 [14.2]
[13.7421]
[13.7421]
```
  local sorted_names = {}
```

Insertion in app.lua at line 205 [14.2]

[13.7492]

      table.insert(sorted_names, name)
    end
  end
  table.sort(sorted_names)
  for _,name in ipairs(sorted_names) do
    if name:find('test_') == 1 then

Replacement in app.lua at line 212 [14.2]
B:BD[13.7524] → [13.7524:7540]
```
      binding()
```
[13.7524]
[13.7540]
```
      _G[name]()
```