akkartik/view.love - Change QCPXQ2E3USF3Z6R6WJ2JKHTRMPKA6QWXFKKRMLXA3MXABJEL543AC

add state arg to a few functions

Text.cursor_at_final_screen_line
Text.move_cursor_down_to_next_text_line_while_scrolling_again_if_necessary
Text.snap_cursor_to_bottom_of_screen
Text.in_line
Text.to_pos_on_line
Text.to2
Text.to1
Text.previous_screen_line
Text.tweak_screen_top_and_cursor
Text.redraw_all

Created by Kartik K. Agaram on July 12, 2022

QCPXQ2E3USF3Z6R6WJ2JKHTRMPKA6QWXFKKRMLXA3MXABJEL543AC

Dependencies

In channels

main

Change contents

Replacement in text.lua at line 145 [4.1]

B:BD[3.434] → [3.434:531]

    Text.snap_cursor_to_bottom_of_screen(State.margin_left, App.screen.width-State.margin_right)

[3.434]

[3.531]

    Text.snap_cursor_to_bottom_of_screen(State, State.margin_left, App.screen.width-State.margin_right)

Replacement in text.lua at line 168 [4.1]

B:BD[5.261] → [5.261:360]

      Text.snap_cursor_to_bottom_of_screen(State.margin_left, App.screen.width-State.margin_right)

[5.261]

[6.105]

      Text.snap_cursor_to_bottom_of_screen(State, State.margin_left, App.screen.width-State.margin_right)

Replacement in text.lua at line 178 [4.1]

B:BD[5.854] → [5.854:953]

      Text.snap_cursor_to_bottom_of_screen(State.margin_left, App.screen.width-State.margin_right)

[5.854]

[5.953]

      Text.snap_cursor_to_bottom_of_screen(State, State.margin_left, App.screen.width-State.margin_right)

Replacement in text.lua at line 215 [4.1]

B:BD[5.2510] → [5.2510:2755]

∅:D[5.2755] → [7.3:95]

∅:D[8.60340] → [7.3:95]

B:BD[9.3103] → [7.3:95]

      local top2 = Text.to2(State.screen_top1, State.margin_left, App.screen.width-State.margin_right)
      top2 = Text.previous_screen_line(top2, State.margin_left, App.screen.width-State.margin_right)
      State.screen_top1 = Text.to1(top2)
      Text.redraw_all()  -- if we're scrolling, reclaim all fragments to avoid memory leaks

[5.2510]

[10.2992]

      local top2 = Text.to2(State, State.screen_top1, State.margin_left, App.screen.width-State.margin_right)
      top2 = Text.previous_screen_line(State, top2, State.margin_left, App.screen.width-State.margin_right)
      State.screen_top1 = Text.to1(State, top2)
      Text.redraw_all(State)  -- if we're scrolling, reclaim all fragments to avoid memory leaks

Replacement in text.lua at line 357 [4.1]

B:BD[11.115] → [12.2606:2662]

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

[11.115]

[11.152]

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

Replacement in text.lua at line 368 [4.1]

B:BD[11.563] → [13.93:149]

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

[11.563]

[14.77]

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

Replacement in text.lua at line 370 [4.1]
B:BD[14.83] → [12.3093:3130]
```
  State.screen_top1 = Text.to1(top2)
```
[14.83]
[12.3130]
```
  State.screen_top1 = Text.to1(State, top2)
```

Replacement in text.lua at line 373 [4.1]

∅:D[12.3220] → [15.3:93]

∅:D[8.67004] → [15.3:93]

B:BD[11.704] → [15.3:93]

  Text.move_cursor_down_to_next_text_line_while_scrolling_again_if_necessary(left, right)

[12.3220]

[12.3221]

  Text.move_cursor_down_to_next_text_line_while_scrolling_again_if_necessary(State, left, right)

Replacement in text.lua at line 383 [4.1]

B:BD[16.2991] → [12.3364:3423]

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

[16.2991]

[16.3031]

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

Replacement in text.lua at line 387 [4.1]
B:BD[16.3124] → [16.3124:3158]
```
  local new_top1 = Text.to1(top2)
```
[16.3124]
[12.3424]
```
  local new_top1 = Text.to1(State, top2)
```

Replacement in text.lua at line 397 [4.1]

∅:D[12.3782] → [15.94:184]

∅:D[8.67641] → [15.94:184]

B:BD[11.1094] → [15.94:184]

  Text.move_cursor_down_to_next_text_line_while_scrolling_again_if_necessary(left, right)

[12.3782]

[12.3783]

  Text.move_cursor_down_to_next_text_line_while_scrolling_again_if_necessary(State, left, right)

Replacement in text.lua at line 399 [4.1]

∅:D[12.3830] → [7.96:184]

∅:D[8.67696] → [7.96:184]

B:BD[11.1214] → [7.96:184]

  Text.redraw_all()  -- if we're scrolling, reclaim all fragments to avoid memory leaks

[12.3830]

[17.142]

  Text.redraw_all(State)  -- if we're scrolling, reclaim all fragments to avoid memory leaks

Replacement in text.lua at line 457 [4.1]
∅:D[12.6132] → [18.3:59]
∅:D[8.70279] → [18.3:59]
B:BD[14.2871] → [18.3:59]
```
  if Text.cursor_at_final_screen_line(left, right) then
```
[12.6132]
[14.2916]
```
  if Text.cursor_at_final_screen_line(State, left, right) then
```

Replacement in text.lua at line 473 [4.1]

B:BD[14.3562] → [19.265:321]

      Text.snap_cursor_to_bottom_of_screen(left, right)

[14.3562]

[12.6623]

      Text.snap_cursor_to_bottom_of_screen(State, left, right)

Replacement in text.lua at line 492 [4.1]

B:BD[14.4678] → [19.322:378]

      Text.snap_cursor_to_bottom_of_screen(left, right)

[14.4678]

[12.7294]

      Text.snap_cursor_to_bottom_of_screen(State, left, right)

Replacement in text.lua at line 511 [4.1]

∅:D[2.362] → [19.379:433]

B:BD[20.46] → [19.379:433]

    Text.snap_cursor_to_bottom_of_screen(left, right)

[2.362]

[21.6543]

    Text.snap_cursor_to_bottom_of_screen(State, left, right)

Replacement in text.lua at line 560 [4.1]

∅:D[2.411] → [19.434:488]

B:BD[22.85] → [19.434:488]

    Text.snap_cursor_to_bottom_of_screen(left, right)

[2.411]

[23.36]

    Text.snap_cursor_to_bottom_of_screen(State, left, right)

Replacement in text.lua at line 589 [4.1]

B:BD[24.606] → [24.606:664]

∅:D[25.246] → [13.150:206]

∅:D[24.664] → [13.150:206]

∅:D[8.73630] → [13.150:206]

B:BD[21.6636] → [13.150:206]

B:BD[13.206] → [24.665:704]

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

[24.606]

[23.568]

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

Replacement in text.lua at line 598 [4.1]

∅:D[2.460] → [19.489:543]

B:BD[22.202] → [19.489:543]

    Text.snap_cursor_to_bottom_of_screen(left, right)

[2.460]

[22.245]

    Text.snap_cursor_to_bottom_of_screen(State, left, right)

Replacement in text.lua at line 630 [4.1]

B:BD[26.6] → [18.60:115]

B:BD[18.115] → [8.74497:74824]

function Text.cursor_at_final_screen_line(left, right)
  Text.populate_screen_line_starting_pos(Editor_state.lines[Editor_state.cursor1.line], left, right)
  local screen_lines = Editor_state.lines[Editor_state.cursor1.line].screen_line_starting_pos
--?   print(screen_lines[#screen_lines], Editor_state.cursor1.pos)
  return screen_lines[#screen_lines] <= Editor_state.cursor1.pos

[26.6]

[27.1933]

function Text.cursor_at_final_screen_line(State, left, right)
  Text.populate_screen_line_starting_pos(State.lines[State.cursor1.line], left, right)
  local screen_lines = State.lines[State.cursor1.line].screen_line_starting_pos
--?   print(screen_lines[#screen_lines], State.cursor1.pos)
  return screen_lines[#screen_lines] <= State.cursor1.pos

Replacement in text.lua at line 637 [4.1]

B:BD[27.1938] → [15.185:282]

B:BD[15.282] → [8.74825:74994]

function Text.move_cursor_down_to_next_text_line_while_scrolling_again_if_necessary(left, right)
  local y = Editor_state.margin_top
  while Editor_state.cursor1.line <= #Editor_state.lines do
    if Editor_state.lines[Editor_state.cursor1.line].mode == 'text' then

[27.1938]

[28.166]

function Text.move_cursor_down_to_next_text_line_while_scrolling_again_if_necessary(State, left, right)
  local y = State.margin_top
  while State.cursor1.line <= #State.lines do
    if State.lines[State.cursor1.line].mode == 'text' then

Replacement in text.lua at line 643 [4.1]

B:BD[28.186] → [8.74995:75228]

--?     print('cursor skips', Editor_state.cursor1.line)
    y = y + Editor_state.drawing_padding_height + Drawing.pixels(Editor_state.lines[Editor_state.cursor1.line].h)
    Editor_state.cursor1.line = Editor_state.cursor1.line + 1

[28.186]

[28.220]

--?     print('cursor skips', State.cursor1.line)
    y = y + State.drawing_padding_height + Drawing.pixels(State.lines[State.cursor1.line].h)
    State.cursor1.line = State.cursor1.line + 1

Replacement in text.lua at line 648 [4.1]

B:BD[28.287] → [8.75229:75411]

  if Editor_state.cursor1.line > #Editor_state.lines then
    assert(Editor_state.cursor1.line == #Editor_state.lines+1)
    table.insert(Editor_state.lines, {mode='text', data=''})

[28.287]

[28.402]

  if State.cursor1.line > #State.lines then
    assert(State.cursor1.line == #State.lines+1)
    table.insert(State.lines, {mode='text', data=''})

Replacement in text.lua at line 652 [4.1]

B:BD[28.408] → [8.75412:75549]

--?   print(y, App.screen.height, App.screen.height-Editor_state.line_height)
  if y > App.screen.height - Editor_state.line_height then

[28.408]

[29.1554]

--?   print(y, App.screen.height, App.screen.height-State.line_height)
  if y > App.screen.height - State.line_height then

Replacement in text.lua at line 655 [4.1]

B:BD[29.1581] → [19.544:598]

    Text.snap_cursor_to_bottom_of_screen(left, right)

[29.1581]

[28.529]

    Text.snap_cursor_to_bottom_of_screen(State, left, right)

Replacement in text.lua at line 659 [4.1]

B:BD[28.540] → [8.75550:75594]

∅:D[8.75594] → [19.599:658]

B:BD[22.325] → [19.599:658]

B:BD[19.658] → [8.75595:75654]

-- should never modify Editor_state.cursor1
function Text.snap_cursor_to_bottom_of_screen(left, right)
  local top2 = Text.to2(Editor_state.cursor1, left, right)

[28.540]

[30.533]

-- should never modify State.cursor1
function Text.snap_cursor_to_bottom_of_screen(State, left, right)
  local top2 = Text.to2(State, State.cursor1, left, right)

Replacement in text.lua at line 663 [4.1]

B:BD[30.580] → [8.75655:75840]

--?   print('cursor pos '..tostring(Editor_state.cursor1.pos)..' is on the #'..tostring(top2.screen_line)..' screen line down')
  local y = App.screen.height - Editor_state.line_height

[30.580]

[31.455]

--?   print('cursor pos '..tostring(State.cursor1.pos)..' is on the #'..tostring(top2.screen_line)..' screen line down')
  local y = App.screen.height - State.line_height

Replacement in text.lua at line 669 [4.1]

B:BD[32.394] → [8.75841:76011]

    if top2.screen_line > 1 or Editor_state.lines[top2.line-1].mode == 'text' then
      local h = Editor_state.line_height
      if y - h < Editor_state.margin_top then

[32.394]

[32.545]

    if top2.screen_line > 1 or State.lines[top2.line-1].mode == 'text' then
      local h = State.line_height
      if y - h < State.margin_top then

Replacement in text.lua at line 677 [4.1]

B:BD[32.614] → [8.76012:76076]

      assert(Editor_state.lines[top2.line-1].mode == 'drawing')

[32.614]

[32.665]

      assert(State.lines[top2.line-1].mode == 'drawing')

Replacement in text.lua at line 680 [4.1]

B:BD[32.767] → [8.76077:76227]

      local h = Editor_state.drawing_padding_height + Drawing.pixels(Editor_state.lines[top2.line-1].h)
      if y - h < Editor_state.margin_top then

[32.767]

[32.857]

      local h = State.drawing_padding_height + Drawing.pixels(State.lines[top2.line-1].h)
      if y - h < State.margin_top then

Replacement in text.lua at line 687 [4.1]

B:BD[28.883] → [13.207:263]

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

[28.883]

[28.925]

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

Replacement in text.lua at line 690 [4.1]

B:BD[32.1066] → [8.76228:76362]

∅:D[8.76362] → [7.185:273]

B:BD[32.1161] → [7.185:273]

  Editor_state.screen_top1 = Text.to1(top2)
--?   print('top1 finally:', Editor_state.screen_top1.line, Editor_state.screen_top1.pos)
  Text.redraw_all()  -- if we're scrolling, reclaim all fragments to avoid memory leaks

[32.1066]

[28.931]

  State.screen_top1 = Text.to1(State, top2)
--?   print('top1 finally:', State.screen_top1.line, State.screen_top1.pos)
  Text.redraw_all(State)  -- if we're scrolling, reclaim all fragments to avoid memory leaks

Replacement in text.lua at line 695 [4.1]

B:BD[28.936] → [33.3:48]

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

[28.936]

[34.1014]

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

Replacement in text.lua at line 700 [4.1]

B:BD[35.578] → [8.76363:76498]

  return y < line.starty + Editor_state.line_height*(#line.screen_line_starting_pos - Text.screen_line_index(line, line.startpos) + 1)

[35.578]

[26.95]

  return y < line.starty + State.line_height*(#line.screen_line_starting_pos - Text.screen_line_index(line, line.startpos) + 1)

Replacement in text.lua at line 704 [4.1]

B:BD[36.1150] → [37.3:59]

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

[36.1150]

[38.3]

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

Replacement in text.lua at line 716 [4.1]

B:BD[39.1037] → [8.76499:76546]

    local nexty = y + Editor_state.line_height

[39.1037]

[40.1098]

    local nexty = y + State.line_height

Deletion in text.lua at line 733 [4.1]

B:BD[4.468] → [40.1324:1502]

B:BD[40.1502] → [8.76547:76592]

∅:D[41.7701] → [40.1533:1643]

∅:D[8.76592] → [40.1533:1643]

B:BD[40.1533] → [40.1533:1643]

B:BD[40.1643] → [8.76593:76638]

-- manual test:
--  line: abc
--        def
--        gh
--  fragments: abc, def, gh
--  click inside e
--  line_starting_pos = 1 + 3 = 4
--  nearest_cursor_pos('defgh', mx) = 2
--  Editor_state.cursor1.pos = 4 + 2 - 1 = 5
-- manual test:
--  click inside h
--  line_starting_pos = 1 + 3 + 3 = 7
--  nearest_cursor_pos('gh', mx) = 2
--  Editor_state.cursor1.pos = 7 + 2 - 1 = 8

Replacement in text.lua at line 836 [4.1]

B:BD[42.3295] → [25.294:331]

B:BD[25.331] → [8.76639:76697]

function Text.to2(pos1, left, right)
  if Editor_state.lines[pos1.line].mode == 'drawing' then

[42.3295]

[43.46]

function Text.to2(State, pos1, left, right)
  if State.lines[pos1.line].mode == 'drawing' then

Replacement in text.lua at line 841 [4.1]

B:BD[41.7808] → [8.76698:76930]

  Text.populate_screen_line_starting_pos(Editor_state.lines[pos1.line], left, right)
  for i=#Editor_state.lines[pos1.line].screen_line_starting_pos,1,-1 do
    local spos = Editor_state.lines[pos1.line].screen_line_starting_pos[i]

[41.7808]

[17.352]

  Text.populate_screen_line_starting_pos(State.lines[pos1.line], left, right)
  for i=#State.lines[pos1.line].screen_line_starting_pos,1,-1 do
    local spos = State.lines[pos1.line].screen_line_starting_pos[i]

Replacement in text.lua at line 854 [4.1]
B:BD[41.8216] → [41.8216:8240]
```
function Text.to1(pos2)
```
[41.8216]
[41.8240]
```
function Text.to1(State, pos2)
```

Replacement in text.lua at line 857 [4.1]

B:BD[41.8326] → [8.76931:77043]

    result.pos = Editor_state.lines[pos2.line].screen_line_starting_pos[pos2.screen_line] + pos2.screen_pos - 1

[41.8326]

[41.8421]

    result.pos = State.lines[pos2.line].screen_line_starting_pos[pos2.screen_line] + pos2.screen_pos - 1

Deletion in text.lua at line 890 [4.1]

B:BD[44.1005] → [8.77044:77212]

    print(Editor_state.cursor1.line, Editor_state.cursor1.pos, #Editor_state.lines[Editor_state.cursor1.line].data, Editor_state.lines[Editor_state.cursor1.line].data)

Replacement in text.lua at line 896 [4.1]

B:BD[45.564] → [13.264:318]

function Text.previous_screen_line(pos2, left, right)

[45.564]

[32.1432]

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

Replacement in text.lua at line 901 [4.1]

B:BD[32.1582] → [8.77213:77277]

  elseif Editor_state.lines[pos2.line-1].mode == 'drawing' then

[32.1582]

[32.1633]

  elseif State.lines[pos2.line-1].mode == 'drawing' then

Replacement in text.lua at line 904 [4.1]

B:BD[32.1699] → [8.77278:77528]

    local l = Editor_state.lines[pos2.line-1]
    Text.populate_screen_line_starting_pos(Editor_state.lines[pos2.line-1], left, right)
    return {line=pos2.line-1, screen_line=#Editor_state.lines[pos2.line-1].screen_line_starting_pos, screen_pos=1}

[32.1699]

[32.1960]

    local l = State.lines[pos2.line-1]
    Text.populate_screen_line_starting_pos(State.lines[pos2.line-1], left, right)
    return {line=pos2.line-1, screen_line=#State.lines[pos2.line-1].screen_line_starting_pos, screen_pos=1}

Replacement in text.lua at line 935 [4.1]

B:BD[46.3998] → [47.434:489]

B:BD[47.489] → [8.77529:77696]

function Text.tweak_screen_top_and_cursor(left, right)
--?   print('a', Editor_state.selection1.line)
  if Editor_state.screen_top1.pos == 1 then return end
  local line = Editor_state.lines[Editor_state.screen_top1.line]

[46.3998]

[35.866]

-- resize helper
function Text.tweak_screen_top_and_cursor(State, left, right)
--?   print('a', State.selection1.line)
  if State.screen_top1.pos == 1 then return end
  local line = State.lines[State.screen_top1.line]

Replacement in text.lua at line 943 [4.1]

B:BD[48.314] → [8.77697:77745]

    if pos == Editor_state.screen_top1.pos then

[48.314]

[48.349]

    if pos == State.screen_top1.pos then

Replacement in text.lua at line 946 [4.1]

B:BD[48.369] → [8.77746:77793]

    if pos > Editor_state.screen_top1.pos then

[48.369]

[48.403]

    if pos > State.screen_top1.pos then

Replacement in text.lua at line 949 [4.1]

B:BD[48.516] → [8.77794:77925]

      if Editor_state.screen_top1.pos - prev < pos - Editor_state.screen_top1.pos then
        Editor_state.screen_top1.pos = prev

[48.516]

[48.608]

      if State.screen_top1.pos - prev < pos - State.screen_top1.pos then
        State.screen_top1.pos = prev

Replacement in text.lua at line 952 [4.1]

B:BD[48.619] → [8.77926:77969]

        Editor_state.screen_top1.pos = pos

[48.619]

[48.649]

        State.screen_top1.pos = pos

Replacement in text.lua at line 958 [4.1]

B:BD[48.720] → [8.77970:78211]

  if Text.lt1(Editor_state.cursor1, Editor_state.screen_top1) then
    Editor_state.cursor1 = {line=Editor_state.screen_top1.line, pos=Editor_state.screen_top1.pos}
  elseif Editor_state.cursor1.line >= Editor_state.screen_bottom1.line then

[48.720]

[48.870]

  if Text.lt1(State.cursor1, State.screen_top1) then
    State.cursor1 = {line=State.screen_top1.line, pos=State.screen_top1.pos}
  elseif State.cursor1.line >= State.screen_bottom1.line then

Replacement in text.lua at line 962 [4.1]

B:BD[48.895] → [2.807:864]

    if Text.cursor_past_screen_bottom(Editor_state) then

[48.895]

[48.956]

    if Text.cursor_past_screen_bottom(State) then

Replacement in text.lua at line 964 [4.1]

B:BD[48.981] → [8.78212:78364]

∅:D[8.78364] → [37.60:155]

B:BD[49.57] → [37.60:155]

      local line = Editor_state.lines[Editor_state.screen_bottom1.line]
      Editor_state.cursor1 = {
          line=Editor_state.screen_bottom1.line,
          pos=Text.to_pos_on_line(line, App.screen.width-5, App.screen.height-5, left, right),

[48.981]

[49.139]

      local line = State.lines[State.screen_bottom1.line]
      State.cursor1 = {
          line=State.screen_bottom1.line,
          pos=Text.to_pos_on_line(State, line, App.screen.width-5, App.screen.height-5, left, right),

Replacement in text.lua at line 984 [4.1]
∅:D[48.1161] → [46.3998:4025]
B:BD[46.3998] → [46.3998:4025]
```
function Text.redraw_all()
```
[48.1161]
[17.698]
```
function Text.redraw_all(State)
```
Replacement in text.lua at line 986 [4.1]
B:BD[17.732] → [8.78575:78621]
```
  for _,line in ipairs(Editor_state.lines) do
```
[17.732]
[34.1828]
```
  for _,line in ipairs(State.lines) do
```

Replacement in select.lua at line 96 [50.43980]

B:BD[50.46375] → [33.88:139]

B:BD[33.139] → [37.158:229]

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

[50.46375]

[50.46471]

      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)

Replacement in main.lua at line 116 [53.2]
B:BD[51.540] → [52.197:217]
```
  Text.redraw_all()
```
[51.477]
[8.86117]
```
  Text.redraw_all(Editor_state)
```

Replacement in main.lua at line 118 [53.2]

B:BD[8.86199] → [8.86199:86305]

  Text.tweak_screen_top_and_cursor(Editor_state.margin_left, App.screen.height-Editor_state.margin_right)

[8.86199]

[54.154]

  Text.tweak_screen_top_and_cursor(Editor_state, Editor_state.margin_left, App.screen.height-Editor_state.margin_right)

Replacement in edit.lua at line 206 [55.413]

B:BD[55.7091] → [56.4697:4791]

      if Text.in_line(line, x,y, State.margin_left, App.screen.width-State.margin_right) then

[55.7091]

[55.7173]

      if Text.in_line(State, line, x,y, State.margin_left, App.screen.width-State.margin_right) then

Replacement in edit.lua at line 221 [55.413]

B:BD[55.7859] → [56.4962:5067]

            pos=Text.to_pos_on_line(line, x, y, State.margin_left, App.screen.width-State.margin_right),

[55.7859]

[55.7952]

            pos=Text.to_pos_on_line(State, line, x, y, State.margin_left, App.screen.width-State.margin_right),

Replacement in edit.lua at line 251 [55.413]

B:BD[55.8882] → [56.5530:5626]

        if Text.in_line(line, x,y, State.margin_left, App.screen.width-State.margin_right) then

[55.8882]

[55.8966]

        if Text.in_line(State, line, x,y, State.margin_left, App.screen.width-State.margin_right) then

Replacement in edit.lua at line 255 [55.413]

B:BD[55.9058] → [56.5656:5763]

              pos=Text.to_pos_on_line(line, x, y, State.margin_left, App.screen.width-State.margin_right),

[55.9058]

[55.9153]

              pos=Text.to_pos_on_line(State, line, x, y, State.margin_left, App.screen.width-State.margin_right),

Replacement in edit.lua at line 311 [55.413]

∅:D[56.7184] → [55.11170:11262]

∅:D[8.103193] → [55.11170:11262]

B:BD[55.11170] → [55.11170:11262]

      Text.redraw_all()  -- if we're scrolling, reclaim all fragments to avoid memory leaks

[56.7184]

[55.11262]

      Text.redraw_all(State)  -- if we're scrolling, reclaim all fragments to avoid memory leaks

Replacement in edit.lua at line 334 [55.413]
∅:D[56.7806] → [55.12035:12057]
∅:D[8.103941] → [55.12035:12057]
B:BD[55.12035] → [55.12035:12057]
```
    Text.redraw_all()
```
[56.7806]
[55.12057]
```
    Text.redraw_all(State)
```
Replacement in edit.lua at line 337 [55.413]
∅:D[56.7857] → [55.12130:12152]
∅:D[8.103999] → [55.12130:12152]
B:BD[55.12130] → [55.12130:12152]
```
    Text.redraw_all()
```
[56.7857]
[55.12152]
```
    Text.redraw_all(State)
```
Replacement in edit.lua at line 340 [55.413]
B:BD[55.12214] → [55.12214:12236]
```
    Text.redraw_all()
```
[55.12214]
[55.12236]
```
    Text.redraw_all(State)
```

Replacement in edit.lua at line 350 [55.413]

∅:D[56.8139] → [55.12595:12687]

∅:D[8.104316] → [55.12595:12687]

B:BD[55.12595] → [55.12595:12687]

      Text.redraw_all()  -- if we're scrolling, reclaim all fragments to avoid memory leaks

[56.8139]

[57.470]

      Text.redraw_all(State)  -- if we're scrolling, reclaim all fragments to avoid memory leaks

Replacement in edit.lua at line 362 [55.413]

∅:D[56.8421] → [55.13075:13167]

∅:D[8.104633] → [55.13075:13167]

B:BD[55.13075] → [55.13075:13167]

      Text.redraw_all()  -- if we're scrolling, reclaim all fragments to avoid memory leaks

[56.8421]

[57.498]

      Text.redraw_all(State)  -- if we're scrolling, reclaim all fragments to avoid memory leaks