akkartik/sokoban.love - Change MXA3RZYKUI4UF2ISY7JEF6VKX6NOPZMZH5SLLCZHRJKFIXXXDPSAC

deduce left/right from state where possible

Created by Kartik K. Agaram on July 12, 2022

MXA3RZYKUI4UF2ISY7JEF6VKX6NOPZMZH5SLLCZHRJKFIXXXDPSAC

Dependencies

In channels

main

Change contents

Replacement in text.lua at line 12 [7.1]

B:BD[5.103] → [6.3:65]

function Text.draw(State, line, line_index, top, left, right)

[5.103]

[8.1129]

function Text.draw(State, line, line_index, top)

Replacement in text.lua at line 16 [7.1]
B:BD[9.1768] → [10.59:76]
```
  local x = left
```
[9.1768]
[10.76]
```
  local x = State.left
```

Replacement in text.lua at line 21 [7.1]

B:BD[9.1850] → [2.3:49]

    Text.compute_fragments(line, left, right)

[9.1850]

[11.103]

    Text.compute_fragments(line, State.left, State.right)

Replacement in text.lua at line 23 [7.1]

B:BD[11.109] → [12.3:63]

  Text.populate_screen_line_starting_pos(line, left, right)

[11.109]

[13.1]

  Text.populate_screen_line_starting_pos(line, State.left, State.right)

Replacement in text.lua at line 32 [7.1]

∅:D[6.334] → [10.337:417]

∅:D[14.54396] → [10.337:417]

B:BD[10.337] → [10.337:417]

    if x + frag_width > right then
      assert(x > left)  -- no overfull lines

[6.334]

[15.1]

    if x + frag_width > State.right then
      assert(x > State.left)  -- no overfull lines

Replacement in text.lua at line 44 [7.1]
B:BD[16.129] → [10.418:433]
```
      x = left
```
[16.129]
[9.2198]
```
      x = State.left
```

Replacement in text.lua at line 50 [7.1]

B:BD[6.665] → [17.3:97]

        local lo, hi = Text.clip_selection(State, line_index, pos, pos+frag_len, left, right)

[6.665]

[17.97]

        local lo, hi = Text.clip_selection(State, line_index, pos, pos+frag_len)

Replacement in text.lua at line 354 [7.1]
B:BD[18.51] → [19.2564:2605]
```
function Text.pageup(State, left, right)
```
[18.51]
[20.3]
```
function Text.pageup(State)
```

Replacement in text.lua at line 357 [7.1]

B:BD[18.115] → [21.686:749]

  local top2 = Text.to2(State, State.screen_top1, left, right)

[18.115]

[18.152]

  local top2 = Text.to2(State, State.screen_top1)

Replacement in text.lua at line 368 [7.1]

B:BD[18.563] → [21.750:813]

    top2 = Text.previous_screen_line(State, top2, left, right)

[18.563]

[22.77]

    top2 = Text.previous_screen_line(State, top2)

Replacement in text.lua at line 373 [7.1]

B:BD[19.3220] → [21.859:956]

  Text.move_cursor_down_to_next_text_line_while_scrolling_again_if_necessary(State, left, right)

[19.3220]

[19.3221]

  Text.move_cursor_down_to_next_text_line_while_scrolling_again_if_necessary(State)

Replacement in text.lua at line 378 [7.1]
B:BD[22.88] → [19.3320:3363]
```
function Text.pagedown(State, left, right)
```
[22.88]
[20.117]
```
function Text.pagedown(State)
```

Replacement in text.lua at line 383 [7.1]

B:BD[23.2991] → [21.957:1023]

  local top2 = Text.to2(State, State.screen_bottom1, left, right)

[23.2991]

[23.3031]

  local top2 = Text.to2(State, State.screen_bottom1)

Replacement in text.lua at line 397 [7.1]

B:BD[19.3782] → [21.1066:1163]

  Text.move_cursor_down_to_next_text_line_while_scrolling_again_if_necessary(State, left, right)

[19.3782]

[19.3783]

  Text.move_cursor_down_to_next_text_line_while_scrolling_again_if_necessary(State)

Replacement in text.lua at line 403 [7.1]
B:BD[18.1219] → [19.3831:3868]
```
function Text.up(State, left, right)
```
[18.1219]
[19.3868]
```
function Text.up(State)
```

Replacement in text.lua at line 406 [7.1]

B:BD[19.4029] → [24.3:116]

  local screen_line_index,screen_line_starting_pos = Text.pos_at_start_of_cursor_screen_line(State, left, right)

[19.4029]

[22.295]

  local screen_line_index,screen_line_starting_pos = Text.pos_at_start_of_cursor_screen_line(State)

Replacement in text.lua at line 416 [7.1]

B:BD[19.4182] → [19.4182:4275]

        Text.populate_screen_line_starting_pos(State.lines[State.cursor1.line], left, right)

[19.4182]

[22.826]

        Text.populate_screen_line_starting_pos(State.lines[State.cursor1.line], State.left, State.right)

Replacement in text.lua at line 430 [7.1]

B:BD[19.4882] → [19.4882:4990]

        State.cursor1.pos = screen_line_starting_pos + Text.nearest_cursor_pos(s, State.cursor_x, left) - 1

[19.4882]

[22.1691]

        State.cursor1.pos = screen_line_starting_pos + Text.nearest_cursor_pos(s, State.cursor_x, State.left) - 1

Replacement in text.lua at line 449 [7.1]

B:BD[19.5703] → [19.5703:5811]

    State.cursor1.pos = new_screen_line_starting_pos + Text.nearest_cursor_pos(s, State.cursor_x, left) - 1

[19.5703]

[19.5811]

    State.cursor1.pos = new_screen_line_starting_pos + Text.nearest_cursor_pos(s, State.cursor_x, State.left) - 1

Replacement in text.lua at line 454 [7.1]
B:BD[22.2682] → [19.5877:5916]
```
function Text.down(State, left, right)
```
[22.2682]
[19.5916]
```
function Text.down(State)
```

Replacement in text.lua at line 457 [7.1]

B:BD[19.6132] → [21.1258:1321]

  if Text.cursor_at_final_screen_line(State, left, right) then

[19.6132]

[22.2916]

  if Text.cursor_at_final_screen_line(State) then

Replacement in text.lua at line 465 [7.1]

B:BD[19.6328] → [19.6328:6440]

        State.cursor1.pos = Text.nearest_cursor_pos(State.lines[State.cursor1.line].data, State.cursor_x, left)

[19.6328]

[19.6440]

        State.cursor1.pos = Text.nearest_cursor_pos(State.lines[State.cursor1.line].data, State.cursor_x, State.left)

Replacement in text.lua at line 473 [7.1]

B:BD[22.3562] → [21.1322:1385]

      Text.snap_cursor_to_bottom_of_screen(State, left, right)

[22.3562]

[19.6623]

      Text.snap_cursor_to_bottom_of_screen(State)

Replacement in text.lua at line 483 [7.1]

B:BD[22.3993] → [24.117:233]

    local screen_line_index, screen_line_starting_pos = Text.pos_at_start_of_cursor_screen_line(State, left, right)

[22.3993]

[19.6767]

    local screen_line_index, screen_line_starting_pos = Text.pos_at_start_of_cursor_screen_line(State)

Replacement in text.lua at line 488 [7.1]

B:BD[19.7111] → [19.7111:7219]

    State.cursor1.pos = new_screen_line_starting_pos + Text.nearest_cursor_pos(s, State.cursor_x, left) - 1

[19.7111]

[19.7219]

    State.cursor1.pos = new_screen_line_starting_pos + Text.nearest_cursor_pos(s, State.cursor_x, State.left) - 1

Replacement in text.lua at line 492 [7.1]

B:BD[22.4678] → [21.1386:1449]

      Text.snap_cursor_to_bottom_of_screen(State, left, right)

[22.4678]

[19.7294]

      Text.snap_cursor_to_bottom_of_screen(State)

Replacement in text.lua at line 506 [7.1]
B:BD[25.6260] → [19.7732:7778]
```
function Text.end_of_line(State, left, right)
```
[25.6260]
[19.7778]
```
function Text.end_of_line(State)
```

Replacement in text.lua at line 508 [7.1]

B:BD[19.7851] → [24.234:313]

  local _,botpos = Text.pos_at_start_of_cursor_screen_line(State, left, right)

[19.7851]

[19.7852]

  local _,botpos = Text.pos_at_start_of_cursor_screen_line(State)

Replacement in text.lua at line 511 [7.1]

B:BD[24.362] → [21.1450:1511]

    Text.snap_cursor_to_bottom_of_screen(State, left, right)

[24.362]

[25.6543]

    Text.snap_cursor_to_bottom_of_screen(State)

Replacement in text.lua at line 515 [7.1]
B:BD[22.4936] → [19.7910:7954]
```
function Text.word_left(State, left, right)
```
[22.4936]
[26.840]
```
function Text.word_left(State)
```
Replacement in text.lua at line 524 [7.1]
B:BD[26.1006] → [27.3:37]
```
    Text.left(State, left, right)
```
[26.1006]
[26.1007]
```
    Text.left(State)
```
Replacement in text.lua at line 528 [7.1]
B:BD[26.1059] → [27.38:72]
```
    Text.left(State, left, right)
```
[26.1059]
[19.8080]
```
    Text.left(State)
```
Replacement in text.lua at line 539 [7.1]
B:BD[22.5252] → [19.8239:8284]
```
function Text.word_right(State, left, right)
```
[22.5252]
[26.1136]
```
function Text.word_right(State)
```

Replacement in text.lua at line 560 [7.1]

B:BD[24.411] → [21.1512:1573]

    Text.snap_cursor_to_bottom_of_screen(State, left, right)

[24.411]

[28.36]

    Text.snap_cursor_to_bottom_of_screen(State)

Replacement in text.lua at line 573 [7.1]
B:BD[28.47] → [27.149:188]
```
function Text.left(State, left, right)
```
[28.47]
[27.188]
```
function Text.left(State)
```

Replacement in text.lua at line 589 [7.1]

B:BD[27.606] → [21.1574:1702]

    local top2 = Text.to2(State, State.screen_top1, left, right)
    top2 = Text.previous_screen_line(State, top2, left, right)

[27.606]

[21.1702]

    local top2 = Text.to2(State, State.screen_top1)
    top2 = Text.previous_screen_line(State, top2)

Replacement in text.lua at line 595 [7.1]
B:BD[28.579] → [27.705:745]
```
function Text.right(State, left, right)
```
[28.579]
[27.745]
```
function Text.right(State)
```

Replacement in text.lua at line 598 [7.1]

B:BD[24.460] → [21.1749:1810]

    Text.snap_cursor_to_bottom_of_screen(State, left, right)

[24.460]

[29.245]

    Text.snap_cursor_to_bottom_of_screen(State)

Replacement in text.lua at line 619 [7.1]

B:BD[30.1332] → [24.461:617]

function Text.pos_at_start_of_cursor_screen_line(State, left, right)
  Text.populate_screen_line_starting_pos(State.lines[State.cursor1.line], left, right)

[30.1332]

[24.617]

function Text.pos_at_start_of_cursor_screen_line(State)
  Text.populate_screen_line_starting_pos(State.lines[State.cursor1.line], State.left, State.right)

Replacement in text.lua at line 630 [7.1]

B:BD[31.6] → [21.1811:1960]

function Text.cursor_at_final_screen_line(State, left, right)
  Text.populate_screen_line_starting_pos(State.lines[State.cursor1.line], left, right)

[31.6]

[21.1960]

function Text.cursor_at_final_screen_line(State)
  Text.populate_screen_line_starting_pos(State.lines[State.cursor1.line], State.left, State.right)

Replacement in text.lua at line 637 [7.1]

B:BD[32.1938] → [21.2159:2263]

function Text.move_cursor_down_to_next_text_line_while_scrolling_again_if_necessary(State, left, right)

[32.1938]

[4.16712]

function Text.move_cursor_down_to_next_text_line_while_scrolling_again_if_necessary(State)

Replacement in text.lua at line 655 [7.1]

B:BD[33.1581] → [21.2862:2923]

    Text.snap_cursor_to_bottom_of_screen(State, left, right)

[33.1581]

[34.529]

    Text.snap_cursor_to_bottom_of_screen(State)

Replacement in text.lua at line 660 [7.1]

B:BD[21.2961] → [21.2961:3086]

function Text.snap_cursor_to_bottom_of_screen(State, left, right)
  local top2 = Text.to2(State, State.cursor1, left, right)

[21.2961]

[35.533]

function Text.snap_cursor_to_bottom_of_screen(State)
  local top2 = Text.to2(State, State.cursor1)

Replacement in text.lua at line 687 [7.1]

B:BD[34.883] → [21.3597:3660]

    top2 = Text.previous_screen_line(State, top2, left, right)

[34.883]

[34.925]

    top2 = Text.previous_screen_line(State, top2)

Replacement in text.lua at line 695 [7.1]

B:BD[34.936] → [21.3875:3927]

function Text.in_line(State, line, x,y, left,right)

[34.936]

[36.1014]

function Text.in_line(State, line, x,y)

Replacement in text.lua at line 697 [7.1]
B:BD[36.1085] → [37.49:85]
```
  if x < left then return false end
```
[36.1085]
[36.1086]
```
  if x < State.left then return false end
```

Replacement in text.lua at line 699 [7.1]

B:BD[36.1129] → [12.518:578]

  Text.populate_screen_line_starting_pos(line, left, right)

[36.1129]

[21.3928]

  Text.populate_screen_line_starting_pos(line, State.left, State.right)

Replacement in text.lua at line 704 [7.1]

B:BD[38.1150] → [21.4057:4120]

function Text.to_pos_on_line(State, line, mx, my, left, right)

[38.1150]

[39.3]

function Text.to_pos_on_line(State, line, mx, my)

Replacement in text.lua at line 706 [7.1]

B:BD[39.35] → [2.622:668]

    Text.compute_fragments(line, left, right)

[39.35]

[39.80]

    Text.compute_fragments(line, State.left, State.right)

Replacement in text.lua at line 726 [7.1]

B:BD[8.1751] → [40.383:607]

--?       print('return', mx, Text.nearest_cursor_pos(s, mx, left), '=>', screen_line_starting_pos + Text.nearest_cursor_pos(s, mx, left) - 1)
      return screen_line_starting_pos + Text.nearest_cursor_pos(s, mx, left) - 1

[8.1751]

[41.1279]

--?       print('return', mx, Text.nearest_cursor_pos(s, mx, State.left), '=>', screen_line_starting_pos + Text.nearest_cursor_pos(s, mx, State.left) - 1)
      return screen_line_starting_pos + Text.nearest_cursor_pos(s, mx, State.left) - 1

Replacement in text.lua at line 836 [7.1]
B:BD[9.3295] → [21.4162:4206]
```
function Text.to2(State, pos1, left, right)
```
[9.3295]
[21.4206]
```
function Text.to2(State, pos1)
```

Replacement in text.lua at line 841 [7.1]

B:BD[42.7808] → [21.4258:4336]

  Text.populate_screen_line_starting_pos(State.lines[pos1.line], left, right)

[42.7808]

[21.4336]

  Text.populate_screen_line_starting_pos(State.lines[pos1.line], State.left, State.right)

Replacement in text.lua at line 896 [7.1]

B:BD[43.564] → [21.4608:4669]

function Text.previous_screen_line(State, pos2, left, right)

[43.564]

[44.1432]

function Text.previous_screen_line(State, pos2)

Replacement in text.lua at line 905 [7.1]

B:BD[21.4767] → [21.4767:4849]

    Text.populate_screen_line_starting_pos(State.lines[pos2.line-1], left, right)

[21.4767]

[21.4849]

    Text.populate_screen_line_starting_pos(State.lines[pos2.line-1], State.left, State.right)

Replacement in text.lua at line 936 [7.1]

B:BD[21.4975] → [21.4975:5037]

function Text.tweak_screen_top_and_cursor(State, left, right)

[21.4975]

[21.5037]

function Text.tweak_screen_top_and_cursor(State)

Replacement in text.lua at line 940 [7.1]
∅:D[21.5176] → [12.866:926]
∅:D[14.77696] → [12.866:926]
B:BD[45.221] → [12.866:926]
```
  Text.populate_screen_line_starting_pos(line, left, right)
```
[21.5176]
[45.221]
```
  Text.populate_screen_line_starting_pos(line, State.left, State.right)
```

Replacement in text.lua at line 967 [7.1]

B:BD[21.5776] → [21.5776:5878]

          pos=Text.to_pos_on_line(State, line, App.screen.width-5, App.screen.height-5, left, right),

[21.5776]

[46.139]

          pos=Text.to_pos_on_line(State, line, App.screen.width-5, App.screen.height-5),

Replacement in text.lua at line 979 [7.1]

B:BD[47.419] → [24.979:1062]

--?   local _,botpos = Text.pos_at_start_of_cursor_screen_line(State, left, right)

[47.419]

[24.1062]

--?   local _,botpos = Text.pos_at_start_of_cursor_screen_line(State)

Replacement in select.lua at line 9 [48.43980]

B:BD[48.44455] → [17.524:597]

function Text.clip_selection(State, line_index, apos, bpos, left, right)

[48.44455]

[17.597]

function Text.clip_selection(State, line_index, apos, bpos)

Replacement in select.lua at line 15 [48.43980]

B:BD[49.1213] → [17.773:824]

    maxl,maxp = Text.mouse_pos(State, left, right)

[49.1213]

[48.44737]

    maxl,maxp = Text.mouse_pos(State)

Replacement in select.lua at line 79 [48.43980]
B:BD[48.45876] → [17.1017:1061]
```
function Text.mouse_pos(State, left, right)
```
[48.45876]
[48.45902]
```
function Text.mouse_pos(State)
```

Replacement in select.lua at line 85 [48.43980]

B:BD[17.1228] → [17.1228:1309]

  local line,pos = Text.to_pos(State, App.mouse_x(), App.mouse_y(), left, right)

[17.1228]

[48.46148]

  local line,pos = Text.to_pos(State, App.mouse_x(), App.mouse_y())

Replacement in select.lua at line 93 [48.43980]
B:BD[48.46275] → [17.1437:1483]
```
function Text.to_pos(State, x,y, left, right)
```
[48.46275]
[17.1483]
```
function Text.to_pos(State, x,y)
```

Replacement in select.lua at line 96 [48.43980]

B:BD[48.46375] → [21.5954:6090]

      if Text.in_line(State, line, x,y, left, right) then
        return line_index, Text.to_pos_on_line(State, line, x,y, left, right)

[48.46375]

[48.46471]

      if Text.in_line(State, line, x,y) then
        return line_index, Text.to_pos_on_line(State, line, x,y)

Replacement in select.lua at line 103 [48.43980]
B:BD[50.10] → [17.1532:1580]
```
function Text.cut_selection(State, left, right)
```
[50.10]
[17.1580]
```
function Text.cut_selection(State)
```
Replacement in select.lua at line 106 [48.43980]
B:BD[17.1669] → [17.1669:1713]
```
  Text.delete_selection(State, left, right)
```
[17.1669]
[50.100]
```
  Text.delete_selection(State)
```
Replacement in select.lua at line 110 [48.43980]
B:BD[48.46500] → [17.1714:1765]
```
function Text.delete_selection(State, left, right)
```
[48.46500]
[17.1765]
```
function Text.delete_selection(State)
```
Replacement in select.lua at line 114 [48.43980]
∅:D[3.1939] → [17.1886:1943]
B:BD[48.46629] → [17.1886:1943]
```
  Text.delete_selection_without_undo(State, left, right)
```
[3.1939]
[3.1940]
```
  Text.delete_selection_without_undo(State)
```

Replacement in select.lua at line 118 [48.43980]

B:BD[48.46740] → [17.2017:2081]

function Text.delete_selection_without_undo(State, left, right)

[48.46740]

[17.2081]

function Text.delete_selection_without_undo(State)

Replacement in select.lua at line 136 [48.43980]

B:BD[17.2509] → [24.1180:1270]

    _,State.screen_top1.pos = Text.pos_at_start_of_cursor_screen_line(State, left, right)

[17.2509]

[51.1160]

    _,State.screen_top1.pos = Text.pos_at_start_of_cursor_screen_line(State)

Replacement in edit.lua at line 167 [52.413]

B:BD[52.5677] → [4.22496:22605]

      y, State.screen_bottom1.pos = Text.draw(State, line, line_index, line.starty, State.left, State.right)

[52.5677]

[53.3957]

      y, State.screen_bottom1.pos = Text.draw(State, line, line_index, line.starty)