akkartik/pensieve.love - Change BULPIBEGL7TMK6CVIE7IS7WGAHGOSUJBGJSFQK542MOWGHP2ADQQC

beginnings of a module for the text editor

Created by Kartik K. Agaram on May 17, 2022

BULPIBEGL7TMK6CVIE7IS7WGAHGOSUJBGJSFQK542MOWGHP2ADQQC

Dependencies

In channels

main

Change contents

File addition: text.lua (----------)

[5.2]

-- primitives for editing text
Text = {}
function Text.draw(line, line_index, cursor_line, y, cursor_pos)
  love.graphics.setColor(0,0,0)
  local love_text = love.graphics.newText(love.graphics.getFont(), line.data)
  love.graphics.draw(love_text, 25,y, 0, Zoom)
  if line_index == cursor_line then
    -- cursor
    love.graphics.print('_', Text.cursor_x(line.data, cursor_pos), y+6)  -- drop the cursor down a bit to account for the increased font size
  end
end
function Text.nearest_cursor_pos(line, x, hint)
  if x == 0 then
    return 1
  end
  local max_x = Text.cursor_x(line, #line+1)
  if x > max_x then
    return #line+1
  end
  local currx = Text.cursor_x(line, hint)
  if currx > x-2 and currx < x+2 then
    return hint
  end
  local left, right = 1, #line+1
  if currx > x then
    right = hint
  else
    left = hint
  end
  while left < right-1 do
    local curr = math.floor((left+right)/2)
    local currxmin = Text.cursor_x(line, curr)
    local currxmax = Text.cursor_x(line, curr+1)
    if currxmin <= x and x < currxmax then
      return curr
    end
    if currxmin > x then
      right = curr
    else
      left = curr
    end
  end
  return right
end
function Text.cursor_x(line_data, cursor_pos)
  local line_before_cursor = line_data:sub(1, cursor_pos-1)
  local text_before_cursor = love.graphics.newText(love.graphics.getFont(), line_before_cursor)
  return 25+text_before_cursor:getWidth()*Zoom
end
return Text

Insertion in main.lua at line 4 [7.2]
[6.19]
[3.31]
```
local Text = require 'text'
```

Replacement in main.lua at line 124 [7.2]

B:BD[6.1249] → [8.2:38]

B:BD[8.38] → [9.469:546]

B:BD[9.546] → [10.1410:1456]

B:BD[10.1456] → [4.263:303]

∅:D[4.303] → [11.32:50]

∅:D[10.1487] → [11.32:50]

B:BD[11.32] → [11.32:50]

B:BD[11.50] → [10.1488:1629]

∅:D[12.142] → [11.411:421]

∅:D[13.158] → [11.411:421]

∅:D[9.695] → [11.411:421]

∅:D[10.1629] → [11.411:421]

B:BD[11.411] → [11.411:421]

      love.graphics.setColor(0,0,0)
      local text = love.graphics.newText(love.graphics.getFont(), line.data)
      love.graphics.draw(text, 25,y, 0, Zoom)
      if line_index == Cursor_line then
        -- cursor
        love.graphics.print('_', cursor_x(line.data, Cursor_pos), y+6)  -- drop the cursor down a bit to account for the increased font size
      end

[6.1249]

[6.1294]

      Text.draw(line, line_index, Cursor_line, y, Cursor_pos)

Replacement in main.lua at line 165 [7.2]

∅:D[4.380] → [10.1958:2015]

B:BD[10.1958] → [10.1958:2015]

        Cursor_pos = nearest_cursor_pos(line.data, x, 1)

[4.380]

[12.361]

        Cursor_pos = Text.nearest_cursor_pos(line.data, x, 1)

Replacement in main.lua at line 536 [7.2]

B:BD[14.4825] → [10.4779:4851]

        local old_x = cursor_x(Lines[new_cursor_line].data, Cursor_pos)

[14.4825]

[10.4851]

        local old_x = Text.cursor_x(Lines[new_cursor_line].data, Cursor_pos)

Replacement in main.lua at line 538 [7.2]

B:BD[10.4889] → [10.4889:4973]

        Cursor_pos = nearest_cursor_pos(Lines[Cursor_line].data, old_x, Cursor_pos)

[10.4889]

[15.1874]

        Cursor_pos = Text.nearest_cursor_pos(Lines[Cursor_line].data, old_x, Cursor_pos)

Replacement in main.lua at line 548 [7.2]

B:BD[14.5121] → [10.5061:5133]

        local old_x = cursor_x(Lines[new_cursor_line].data, Cursor_pos)

[14.5121]

[10.5133]

        local old_x = Text.cursor_x(Lines[new_cursor_line].data, Cursor_pos)

Replacement in main.lua at line 550 [7.2]

B:BD[10.5171] → [10.5171:5255]

        Cursor_pos = nearest_cursor_pos(Lines[Cursor_line].data, old_x, Cursor_pos)

[10.5171]

[15.2218]

        Cursor_pos = Text.nearest_cursor_pos(Lines[Cursor_line].data, old_x, Cursor_pos)

Deletion in main.lua at line 707 [7.2]
B:BD[13.552] → [13.552:588]
∅:D[16.46] → [13.588:739]
∅:D[9.2966] → [13.588:739]
B:BD[13.588] → [13.588:739]
B:BD[13.739] → [10.6231:6278]
∅:D[17.283] → [13.778:783]
∅:D[12.662] → [13.778:783]
∅:D[10.6278] → [13.778:783]
B:BD[13.778] → [13.778:783]
B:BD[13.783] → [18.157:200]
∅:D[16.95] → [13.820:856]
∅:D[18.200] → [13.820:856]
∅:D[9.3016] → [13.820:856]
B:BD[13.820] → [13.820:856]
B:BD[13.856] → [18.201:383]
∅:D[18.383] → [13.856:889]
B:BD[13.856] → [13.856:889]
B:BD[13.889] → [18.384:450]
∅:D[18.450] → [13.889:959]
B:BD[13.889] → [13.889:959]
B:BD[13.959] → [2.1:130]
∅:D[2.130] → [13.1038:1056]
B:BD[13.1038] → [13.1038:1056]
∅:D[13.1056] → [19.576:584]
B:BD[19.576] → [19.576:584]
B:BD[19.584] → [2.131:156]
∅:D[2.156] → [13.1079:1133]
B:BD[13.1079] → [13.1079:1133]
∅:D[19.584] → [20.482:488]
∅:D[21.1072] → [20.482:488]
∅:D[13.1133] → [20.482:488]
B:BD[20.482] → [20.482:488]
B:BD[20.488] → [13.1134:1149]
∅:D[13.1149] → [20.488:493]
B:BD[20.488] → [20.488:493]
```
function cursor_x(line, cursor_pos)
  local line_before_cursor = line:sub(1, cursor_pos-1)
  local text_before_cursor = love.graphics.newText(love.graphics.getFont(), line_before_cursor)
  return 25+text_before_cursor:getWidth()*Zoom
end
function nearest_cursor_pos(line, x, hint)
  if x == 0 then
    return 1
  end
  local max_x = cursor_x(line, #line+1)
  if x > max_x then
    return #line+1
  end
  local currx = cursor_x(line, hint)
  if currx > x-2 and currx < x+2 then
    return hint
  end
  local left, right = 1, #line+1
  if currx > x then
    right = hint
  else
    left = hint
  end
  while left < right-1 do
    local curr = math.floor((left+right)/2)
    local currxmin = cursor_x(line, curr)
    local currxmax = cursor_x(line, curr+1)
    if currxmin <= x and x < currxmax then
      return curr
    end
    if currxmin > x then
      right = curr
    else
      left = curr
    end
  end
  return right
end
```