akkartik/sokoban.love - Change VLTU33KW2BVZFSNENNEGWMFZNWSWSTOXS6NHG7NWW43N3NDCNLTAC

resolve conflicts

Created by akkartik on November 18, 2023

VLTU33KW2BVZFSNENNEGWMFZNWSWSTOXS6NHG7NWW43N3NDCNLTAC

Dependencies

In channels

main

Change contents

File deletion: geom.lua, geom.lua

BF:BFD[6.2] → [7.15049:15081]

BF:BFD[7.15081] → [7.11579:11579]

BF:BFD[6.2] → [7.15049:15081]

B:BD[7.11579] → [5.3654:5082]

∅:D[5.5082] → [8.6684:6750]

B:BD[7.12514] → [8.6684:6750]

B:BD[8.6750] → [5.5083:8079]

∅:D[8.6750] → [7.12554:13048]

geom = {}
function geom.on_shape(x,y, drawing, shape)
  if shape.mode == 'freehand' then
    return geom.on_freehand(x,y, drawing, shape)
  elseif shape.mode == 'line' then
    return geom.on_line(x,y, drawing, shape)
  elseif shape.mode == 'manhattan' then
    local p1 = drawing.points[shape.p1]
    local p2 = drawing.points[shape.p2]
    if p1.x == p2.x then
      if x ~= p1.x then return false end
      local y1,y2 = p1.y, p2.y
      if y1 > y2 then
        y1,y2 = y2,y1
      end
      return y >= y1-2 and y <= y2+2
    elseif p1.y == p2.y then
      if y ~= p1.y then return false end
      local x1,x2 = p1.x, p2.x
      if x1 > x2 then
        x1,x2 = x2,x1
      end
      return x >= x1-2 and x <= x2+2
    end
  elseif shape.mode == 'polygon' or shape.mode == 'rectangle' or shape.mode == 'square' then
    return geom.on_polygon(x,y, drawing, shape)
  elseif shape.mode == 'circle' then
    local center = drawing.points[shape.center]
    local dist = geom.dist(center.x,center.y, x,y)
    return dist > shape.radius*0.95 and dist < shape.radius*1.05
  elseif shape.mode == 'arc' then
    local center = drawing.points[shape.center]
    local dist = geom.dist(center.x,center.y, x,y)
    if dist < shape.radius*0.95 or dist > shape.radius*1.05 then
      return false
    end
    return geom.angle_between(center.x,center.y, x,y, shape.start_angle,shape.end_angle)
  elseif shape.mode == 'deleted' then
  else
    assert(false, ('unknown drawing mode %s'):format(shape.mode))
  end
end
function geom.on_freehand(x,y, drawing, shape)
  local prev
  for _,p in ipairs(shape.points) do
    if prev then
      if geom.on_line(x,y, drawing, {p1=prev, p2=p}) then
        return true
      end
    end
    prev = p
  end
  return false
end
function geom.on_line(x,y, drawing, shape)
  local p1,p2
  if type(shape.p1) == 'number' then
    p1 = drawing.points[shape.p1]
    p2 = drawing.points[shape.p2]
  else
    p1 = shape.p1
    p2 = shape.p2
  end
  if p1.x == p2.x then
    if math.abs(p1.x-x) > 2 then
      return false
    end
    local y1,y2 = p1.y,p2.y
    if y1 > y2 then
      y1,y2 = y2,y1
    end
    return y >= y1-2 and y <= y2+2
  end
  -- has the right slope and intercept
  local m = (p2.y - p1.y) / (p2.x - p1.x)
  local yp = p1.y + m*(x-p1.x)
  if yp < y-2 or yp > y+2 then
    return false
  end
  -- between endpoints
  local k = (x-p1.x) / (p2.x-p1.x)
  return k > -0.005 and k < 1.005
end
function geom.on_polygon(x,y, drawing, shape)
  local prev
  for _,p in ipairs(shape.vertices) do
    if prev then
      if geom.on_line(x,y, drawing, {p1=prev, p2=p}) then
        return true
      end
    end
    prev = p
  end
  return geom.on_line(x,y, drawing, {p1=shape.vertices[1], p2=shape.vertices[#shape.vertices]})
end
-- are (x3,y3) and (x4,y4) on the same side of the line between (x1,y1) and (x2,y2)
function geom.same_side(x1,y1, x2,y2, x3,y3, x4,y4)
  if x1 == x2 then
    return math.sign(x3-x1) == math.sign(x4-x1)
  end
  if y1 == y2 then
    return math.sign(y3-y1) == math.sign(y4-y1)
  end
  local m = (y2-y1)/(x2-x1)
  return math.sign(m*(x3-x1) + y1-y3) == math.sign(m*(x4-x1) + y1-y4)
end
function math.sign(x)
  if x > 0 then
    return 1
  elseif x == 0 then
    return 0
  elseif x < 0 then
    return -1
  end
end
function geom.angle_with_hint(x1, y1, x2, y2, hint)
  local result = geom.angle(x1,y1, x2,y2)
  if hint then
    -- Smooth the discontinuity where angle goes from positive to negative.
    -- The hint is a memory of which way we drew it last time.
    while result > hint+math.pi/10 do
      result = result-math.pi*2
    end
    while result < hint-math.pi/10 do
      result = result+math.pi*2
    end
  end
  return result
end
-- result is from -π/2 to 3π/2, approximately adding math.atan2 from Lua 5.3
-- (LÖVE is Lua 5.1)
function geom.angle(x1,y1, x2,y2)
  local result = math.atan((y2-y1)/(x2-x1))
  if x2 < x1 then
    result = result+math.pi
  end
  return result
end
-- is the line between x,y and cx,cy at an angle between s and e?
function geom.angle_between(ox,oy, x,y, s,e)
  local angle = geom.angle(ox,oy, x,y)
  if s > e then
    s,e = e,s
  end
  -- I'm not sure this is right or ideal..
  angle = angle-math.pi*2
  if s <= angle and angle <= e then
    return true
  end
  angle = angle+math.pi*2
  if s <= angle and angle <= e then
    return true
  end
  angle = angle+math.pi*2
  return s <= angle and angle <= e
end
function geom.dist(x1,y1, x2,y2) return ((x2-x1)^2+(y2-y1)^2)^0.5 end
  end
end
function geom.on_freehand(x,y, drawing, shape)
  local prev
  for _,p in ipairs(shape.points) do
    if prev then
      if geom.on_line(x,y, drawing, {p1=prev, p2=p}) then
        return true
      end
    end
    prev = p
  end
  return false
end
function geom.on_line(x,y, drawing, shape)
  local p1,p2
  if type(shape.p1) == 'number' then
    p1 = drawing.points[shape.p1]
    p2 = drawing.points[shape.p2]
  else
    p1 = shape.p1
    p2 = shape.p2
  end
  if p1.x == p2.x then

File deletion: drawing.lua, drawing.lua

BFD:BFD[6.2] → [9.1542:1577]

BFD:BFD[9.1577] → [9.98:98]

B:BD[11.14400] → [5.8769:8835]

B:BD[11.14879] → [5.8837:8837]

B:BD[11.18327] → [5.8838:8904]

B:BD[11.18674] → [5.8906:8906]

B:BD[11.19871] → [5.8907:8989]

B:BD[12.1656] → [5.8990:9067]

B:BD[11.21692] → [5.9069:9069]

B:BD[11.24131] → [5.9070:9183]

B:BD[11.25113] → [5.9184:9294]

B:BD[11.26978] → [5.9295:9375]

B:BD[11.27152] → [5.9377:9377]

B:BD[11.35589] → [5.9378:9440]

B:BD[11.40949] → [5.9441:9507]

B:BD[11.41033] → [5.9508:9580]

B:BD[11.42200] → [5.9582:9582]

∅:D[5.9580] → [11.41068:42200]

∅:D[5.9507] → [11.40989:41033]

∅:D[5.9440] → [11.35613:39139]

∅:D[5.9377] → [13.7524:7570]

∅:D[5.9375] → [11.27036:27152]

∅:D[5.9294] → [11.25160:26978]

∅:D[5.9183] → [11.24178:25113]

∅:D[5.9069] → [13.7466:7523]

∅:D[5.9067] → [11.20266:21692]

∅:D[5.8989] → [11.19927:20230]

∅:D[5.8906] → [14.883:953]

∅:D[5.8904] → [11.18367:18674]

∅:D[5.8837] → [13.7397:7422]

∅:D[5.8835] → [11.14440:14879]

    assert(false, ('unknown drawing mode %s'):format(shape.mode))
    assert(false, ('unknown drawing mode %s'):format(shape.mode))
    assert(false, ('unknown drawing mode %s'):format(State.current_drawing_mode))
  assert(drawing.mode == 'drawing', 'Drawing.update: line is not a drawing')
        assert(#drawing.pending.vertices <= 2, 'Drawing.mouse_release: rectangle has too many pending vertices')
        assert(#drawing.pending.vertices <= 2, 'Drawing.mouse_release: square has too many pending vertices')
        assert(false, ('unknown drawing mode %s'):format(drawing.pending.mode))
            assert(idx, 'point to delete is not in vertices')
    assert(false, ('unknown drawing mode %s'):format(shape.mode))
  assert(shape.mode == 'freehand', 'can only smoothen freehand shapes')
  for _=1,7 do
    for i=2,#shape.points-1 do
      local a = shape.points[i-1]
      local b = shape.points[i]
      local c = shape.points[i+1]
      b.x = round((a.x + b.x + c.x)/3)
      b.y = round((a.y + b.y + c.y)/3)
    end
  end
end
function round(num)
  return math.floor(num+.5)
end
function Drawing.find_or_insert_point(points, x,y, width)
  -- check if UI would snap the two points together
  for i,point in ipairs(points) do
    if Drawing.near(point, x,y, width) then
      return i
    end
  end
  table.insert(points, {x=x, y=y})
  return #points
end
function Drawing.near(point, x,y, width)
  local px,py = Drawing.pixels(x, width),Drawing.pixels(y, width)
  local cx,cy = Drawing.pixels(point.x, width), Drawing.pixels(point.y, width)
  return (cx-px)*(cx-px) + (cy-py)*(cy-py) < Same_point_distance*Same_point_distance
end
function Drawing.pixels(n, width)  -- parts to pixels
  return math.floor(n*width/256)
end
function Drawing.coord(n, width)  -- pixels to parts
  return math.floor(n*256/width)
end
function table.find(h, x)
  for k,v in pairs(h) do
    if v == x then
      return k
    end
  end
end
  end
end
function Drawing.smoothen(shape)
            table.remove(shape.vertices, idx)
            if #shape.vertices < 3 then
              shape.mode = 'deleted'
            end
          else
            shape.mode = 'deleted'
          end
        end
      end
      drawing.points[i].deleted = true
    end
    local drawing,_,_,shape = Drawing.select_shape_at_mouse(State)
    if drawing then
      shape.mode = 'deleted'
    end
  elseif chord == 'C-h' and not App.mouse_down(1) then
    local drawing = Drawing.select_drawing_at_mouse(State)
    if drawing then
      drawing.show_help = true
    end
  elseif chord == 'escape' and App.mouse_down(1) then
    local _,drawing = Drawing.current_drawing(State)
    drawing.pending = {}
  end
end
function Drawing.complete_rectangle(firstx,firsty, secondx,secondy, x,y)
  if firstx == secondx then
    return x,secondy, x,firsty
  end
  if firsty == secondy then
    return secondx,y, firstx,y
  end
  local first_slope = (secondy-firsty)/(secondx-firstx)
  -- slope of second edge:
  --    -1/first_slope
  -- equation of line containing the second edge:
  --    y-secondy = -1/first_slope*(x-secondx)
  -- => 1/first_slope*x + y + (- secondy - secondx/first_slope) = 0
  -- now we want to find the point on this line that's closest to the mouse pointer.
  -- https://en.wikipedia.org/wiki/Distance_from_a_point_to_a_line#Line_defined_by_an_equation
  local a = 1/first_slope
  local c = -secondy - secondx/first_slope
  local thirdx = round(((x-a*y) - a*c) / (a*a + 1))
  local thirdy = round((a*(-x + a*y) - c) / (a*a + 1))
  -- slope of third edge = first_slope
  -- equation of line containing third edge:
  --     y - thirdy = first_slope*(x-thirdx)
  --  => -first_slope*x + y + (-thirdy + thirdx*first_slope) = 0
  -- now we want to find the point on this line that's closest to the first point
  local a = -first_slope
  local c = -thirdy + thirdx*first_slope
  local fourthx = round(((firstx-a*firsty) - a*c) / (a*a + 1))
  local fourthy = round((a*(-firstx + a*firsty) - c) / (a*a + 1))
  return thirdx,thirdy, fourthx,fourthy
end
function Drawing.complete_square(firstx,firsty, secondx,secondy, x,y)
  -- use x,y only to decide which side of the first edge to complete the square on
  local deltax = secondx-firstx
  local deltay = secondy-firsty
  local thirdx = secondx+deltay
  local thirdy = secondy-deltax
  if not geom.same_side(firstx,firsty, secondx,secondy, thirdx,thirdy, x,y) then
    deltax = -deltax
    deltay = -deltay
    thirdx = secondx+deltay
    thirdy = secondy-deltax
  end
  local fourthx = firstx+deltay
  local fourthy = firsty-deltax
  return thirdx,thirdy, fourthx,fourthy
end
function Drawing.current_drawing(State)
  local x, y = App.mouse_x(), App.mouse_y()
  for drawing_index,drawing in ipairs(State.lines) do
    if drawing.mode == 'drawing' then
      local line_cache = State.line_cache[drawing_index]
      if Drawing.in_drawing(drawing, line_cache, x,y, State.left,State.right) then
        return drawing_index,drawing,line_cache
      end
    end
  end
  return nil
end
function Drawing.select_shape_at_mouse(State)
  for drawing_index,drawing in ipairs(State.lines) do
    if drawing.mode == 'drawing' then
      local x, y = App.mouse_x(), App.mouse_y()
      local line_cache = State.line_cache[drawing_index]
      if Drawing.in_drawing(drawing, line_cache, x,y, State.left,State.right) then
        local mx,my = Drawing.coord(x-State.left, State.width), Drawing.coord(y-line_cache.starty, State.width)
        for i,shape in ipairs(drawing.shapes) do
function Drawing.keychord_press(State, chord)
      end
      State.lines.current_drawing.pending = {}
      State.lines.current_drawing = nil
    end
  end
end
        if #drawing.pending.vertices == 2 then
          local mx,my = Drawing.coord(x-State.left, State.width), Drawing.coord(y-line_cache.starty, State.width)
          if mx >= 0 and mx < 256 and my >= 0 and my < drawing.h then
            local first = drawing.points[drawing.pending.vertices[1]]
            local second = drawing.points[drawing.pending.vertices[2]]
            local thirdx,thirdy, fourthx,fourthy = Drawing.complete_square(first.x,first.y, second.x,second.y, mx,my)
            table.insert(drawing.pending.vertices, Drawing.find_or_insert_point(drawing.points, thirdx,thirdy, State.width))
            table.insert(drawing.pending.vertices, Drawing.find_or_insert_point(drawing.points, fourthx,fourthy, State.width))
            table.insert(drawing.shapes, drawing.pending)
          end
        end
      elseif drawing.pending.mode == 'circle' then
        local mx,my = Drawing.coord(x-State.left, State.width), Drawing.coord(y-line_cache.starty, State.width)
        if mx >= 0 and mx < 256 and my >= 0 and my < drawing.h then
          local center = drawing.points[drawing.pending.center]
          drawing.pending.radius = round(geom.dist(center.x,center.y, mx,my))
          table.insert(drawing.shapes, drawing.pending)
        end
      elseif drawing.pending.mode == 'arc' then
        local mx,my = Drawing.coord(x-State.left, State.width), Drawing.coord(y-line_cache.starty, State.width)
        if mx >= 0 and mx < 256 and my >= 0 and my < drawing.h then
          local center = drawing.points[drawing.pending.center]
          drawing.pending.end_angle = geom.angle_with_hint(center.x,center.y, mx,my, drawing.pending.end_angle)
          table.insert(drawing.shapes, drawing.pending)
        end
      elseif drawing.pending.mode == 'name' then
        -- drop it
      else
        if #drawing.pending.vertices == 2 then
          local mx,my = Drawing.coord(x-State.left, State.width), Drawing.coord(y-line_cache.starty, State.width)
          if mx >= 0 and mx < 256 and my >= 0 and my < drawing.h then
            local first = drawing.points[drawing.pending.vertices[1]]
            local second = drawing.points[drawing.pending.vertices[2]]
            local thirdx,thirdy, fourthx,fourthy = Drawing.complete_rectangle(first.x,first.y, second.x,second.y, mx,my)
            table.insert(drawing.pending.vertices, Drawing.find_or_insert_point(drawing.points, thirdx,thirdy, State.width))
            table.insert(drawing.pending.vertices, Drawing.find_or_insert_point(drawing.points, fourthx,fourthy, State.width))
            table.insert(drawing.shapes, drawing.pending)
          end
        else
          -- too few points; draw nothing
        end
      elseif drawing.pending.mode == 'square' then
function Drawing.mouse_release(State, x,y, mouse_button)
  local pmx, pmy = App.mouse_x(), App.mouse_y()
  local mx = Drawing.coord(pmx-State.left, State.width)
  local my = Drawing.coord(pmy-line_cache.starty, State.width)
  if App.mouse_down(1) then
    if Drawing.in_drawing(drawing, line_cache, pmx,pmy, State.left,State.right) then
      if drawing.pending.mode == 'freehand' then
        table.insert(drawing.pending.points, {x=mx, y=my})
      elseif drawing.pending.mode == 'move' then
        drawing.pending.target_point.x = mx
        drawing.pending.target_point.y = my
        Drawing.relax_constraints(drawing, drawing.pending.target_point_index)
      end
    end
  elseif State.current_drawing_mode == 'move' then
    if Drawing.in_drawing(drawing, line_cache, pmx, pmy, State.left,State.right) then
      drawing.pending.target_point.x = mx
      drawing.pending.target_point.y = my
      Drawing.relax_constraints(drawing, drawing.pending.target_point_index)
    end
  else
    -- do nothing
  end
end
function Drawing.relax_constraints(drawing, p)
  for _,shape in ipairs(drawing.shapes) do
    if shape.mode == 'manhattan' then
      if shape.p1 == p then
        shape.mode = 'line'
      elseif shape.p2 == p then
        shape.mode = 'line'
      end
    elseif shape.mode == 'rectangle' or shape.mode == 'square' then
      for _,v in ipairs(shape.vertices) do
        if v == p then
          shape.mode = 'polygon'
        end
      end
    end
  end
end
  end
end
-- a couple of operations on drawings need to constantly check the state of the mouse
function Drawing.update(State)
  if State.lines.current_drawing == nil then return end
  local drawing = State.lines.current_drawing
  local line_cache = State.line_cache[State.lines.current_drawing_index]
function Drawing.mouse_press(State, drawing_index, x,y, mouse_button)
  end
end
function Drawing.in_drawing(drawing, line_cache, x,y, left,right)
  if line_cache.starty == nil then return false end  -- outside current page
  local width = right-left
  return y >= line_cache.starty and y < line_cache.starty + Drawing.pixels(drawing.h, width) and x >= left and x < right
end
  -- after mouse_release
  end
end
function Drawing.draw_pending_shape(drawing, top, left,right)
  local width = right-left
  local pmx,pmy = App.mouse_x(), App.mouse_y()
  local function px(x) return Drawing.pixels(x, width)+left end
  local function py(y) return Drawing.pixels(y, width)+top end
  local mx = Drawing.coord(pmx-left, width)
  local my = Drawing.coord(pmy-top, width)
  -- recreate pixels from coords to precisely mimic how the drawing will look

File deletion: source_undo.lua, source_undo.lua

BFD:BFD[6.2] → [15.3520:3559]

BFD:BFD[15.3559] → [15.68:68]

B:BD[15.1447] → [5.170:231]

B:BD[15.1494] → [5.232:308]

B:BD[17.759] → [5.309:373]

B:BD[15.2464] → [5.374:451]

B:BD[15.2584] → [5.452:537]

B:BD[15.2775] → [5.538:615]

B:BD[15.2900] → [5.616:701]

∅:D[5.701] → [15.2951:3519]

∅:D[5.615] → [15.2818:2900]

∅:D[5.537] → [15.2635:2775]

∅:D[5.451] → [15.2507:2584]

∅:D[5.373] → [17.802:810]

∅:D[5.308] → [15.1521:1850]

∅:D[5.231] → [15.1459:1494]

  assert(s, 'failed to snapshot operation for undo history')
  assert(#State.lines > 0, 'failed to snapshot operation for undo history')
      assert(false, ('unknown line mode %s'):format(line.mode))
  assert(from.start_line == to.start_line, 'failed to patch undo operation')
  assert(#to.lines == to.end_line-to.start_line+1, 'failed to patch undo operation')
  assert(from.start_line == to.start_line, 'failed to patch undo operation')
  assert(#to.lines == to.end_line-to.start_line+1, 'failed to patch undo operation')
  for i=1,#to.lines do
    table.insert(line_cache, to.start_line+i-1, {})
  end
end
-- https://stackoverflow.com/questions/640642/how-do-you-copy-a-lua-table-by-value/26367080#26367080
function deepcopy(obj, seen)
  if type(obj) ~= 'table' then return obj end
  if seen and seen[obj] then return seen[obj] end
  local s = seen or {}
  local result = setmetatable({}, getmetatable(obj))
  s[obj] = result
  for k,v in pairs(obj) do
    result[deepcopy(k, s)] = deepcopy(v, s)
  end
  return result
end
function minmax(a, b)
  return math.min(a,b), math.max(a,b)
end
  for i=from.end_line,from.start_line,-1 do
    table.remove(line_cache, i)
  end
  for i=1,#to.lines do
    table.insert(lines, to.start_line+i-1, to.lines[i])
  end
end
function patch_placeholders(line_cache, from, to)
  for i=from.end_line,from.start_line,-1 do
    table.remove(lines, i)
  end
    end
  if s < 1 then s = 1 end
  if s > #State.lines then s = #State.lines end
  if e < 1 then e = 1 end
  if e > #State.lines then e = #State.lines end
  -- compare with App.initialize_globals
  local event = {
    screen_top=deepcopy(State.screen_top1),
    selection=deepcopy(State.selection1),
    cursor=deepcopy(State.cursor1),
  if e == nil then
    e = s
  end

File deletion: source_select.lua, source_select.lua

BFD:BFD[6.2] → [18.30050:30091]

BFD:BFD[18.30091] → [18.23288:23288]

B:BD[18.25073] → [8.4636:4732]

B:BD[18.25144] → [8.4733:4829]

B:BD[18.25203] → [8.4830:4967]

B:BD[18.28832] → [8.4968:5036]

B:BD[18.29732] → [8.5037:5105]

∅:D[8.5105] → [18.29754:30049]

∅:D[8.5036] → [18.28854:29732]

∅:D[8.4967] → [18.25251:25854]

∅:D[8.4829] → [18.25175:25203]

∅:D[8.4732] → [18.25104:25144]

    assert(maxl == line_index, ('maxl %d not equal to line_index %d'):format(maxl, line_index))
    assert(minl == line_index, ('minl %d not equal to line_index %d'):format(minl, line_index))
    assert(minl == maxl and minl == line_index, ('minl %d, maxl %d and line_index %d are not all equal'):format(minl, maxl, line_index))
  assert(minl < maxl, ('minl %d not < maxl %d'):format(minl, maxl))
  assert(minl < maxl, ('minl %d not < maxl %d'):format(minl, maxl))
  local result = {State.lines[minl].data:sub(min_offset)}
  for i=minl+1,maxl-1 do
    if State.lines[i].mode == 'text' then
      table.insert(result, State.lines[i].data)
    end
  end
  table.insert(result, State.lines[maxl].data:sub(1, max_offset-1))
  return table.concat(result, '\n')
end
  local rhs = State.lines[maxl].data:sub(max_offset)
  for i=maxl,minl+1,-1 do
    table.remove(State.lines, i)
    table.remove(State.line_cache, i)
  end
  State.lines[minl].data = State.lines[minl].data:sub(1, min_offset-1)..rhs
end
function Text.selection(State)
  if State.selection1.line == nil then return end
  -- min,max = sorted(State.selection1,State.cursor1)
  local minl,minp = State.selection1.line,State.selection1.pos
  local maxl,maxp = State.cursor1.line,State.cursor1.pos
  if minl > maxl then
    minl,maxl = maxl,minl
    minp,maxp = maxp,minp
  elseif minl == maxl then
    if minp > maxp then
      minp,maxp = maxp,minp
    end
  end
  local min_offset = Text.offset(State.lines[minl].data, minp)
  local max_offset = Text.offset(State.lines[maxl].data, maxp)
  if minl == maxl then
    return State.lines[minl].data:sub(min_offset, max_offset-1)
  end
    return minp,maxp
  end
end
-- draw highlight for line corresponding to (lo,hi) given an approximate x,y and pos on the same screen line
-- Creates text objects every time, so use this sparingly.
-- Returns some intermediate computation useful elsewhere.
function Text.draw_highlight(State, line, x,y, pos, lo,hi)
  if lo then
    local lo_offset = Text.offset(line.data, lo)
    local hi_offset = Text.offset(line.data, hi)
    local pos_offset = Text.offset(line.data, pos)
    local lo_px
    if pos == lo then
      lo_px = 0
    else
      local before = line.data:sub(pos_offset, lo_offset-1)
    return minp,bpos
  else
    return apos,maxp
  elseif b_lt then

File deletion: source_text.lua, source_text.lua

BFD:BFD[6.2] → [15.147125:147164]

BFD:BFD[15.147164] → [15.83786:83786]

B:BD[15.87493] → [5.704:795]

B:BD[15.97898] → [5.796:873]

B:BD[15.102919] → [5.874:1088]

B:BD[15.109190] → [5.1089:1166]

B:BD[15.110604] → [5.1167:1246]

B:BD[15.114899] → [5.1247:1324]

B:BD[15.115058] → [5.1325:1374]

B:BD[15.120443] → [5.1375:1444]

B:BD[15.122669] → [5.1445:1555]

B:BD[15.122810] → [5.1556:1633]

B:BD[15.124061] → [5.1634:1711]

B:BD[15.125663] → [5.1712:1765]

B:BD[20.4230] → [5.1766:1819]

B:BD[17.9509] → [5.1820:1928]

B:BD[17.9972] → [5.1929:2104]

B:BD[15.130948] → [5.2105:2172]

B:BD[15.135420] → [5.2173:2222]

B:BD[15.138612] → [5.2223:2271]

B:BD[15.139436] → [5.2272:2320]

B:BD[15.140472] → [5.2321:2402]

B:BD[15.142386] → [5.2403:2489]

∅:D[5.2489] → [15.142403:142472]

∅:D[5.2402] → [15.141153:141205]

∅:D[5.2320] → [15.139452:139612]

∅:D[5.2271] → [15.138628:139436]

∅:D[5.2222] → [15.135436:136039]

∅:D[5.2172] → [15.130982:131053]

∅:D[5.2104] → [17.10057:10377]

∅:D[5.1928] → [17.9558:9780]

∅:D[5.1819] → [20.4246:4251]

∅:D[5.1765] → [15.125679:125684]

∅:D[5.1711] → [15.124226:124348]

∅:D[5.1633] → [15.122927:123003]

∅:D[5.1555] → [15.122705:122810]

∅:D[5.1444] → [15.120477:120565]

∅:D[5.1374] → [15.115058:115209]

∅:D[5.1324] → [15.114899:115058]

∅:D[5.1246] → [15.110638:111230]

∅:D[5.1166] → [15.109301:109662]

∅:D[5.1088] → [15.102974:103120]

∅:D[5.873] → [21.1487:1852]

∅:D[5.795] → [22.307:412]

  assert(#line_cache.screen_line_starting_pos >= 1, 'line cache missing screen line info')
  assert(State.lines[State.cursor1.line].mode == 'text', 'line is not text')
    assert(Text.le1(State.screen_top1, State.cursor1), ('screen_top (line=%d,pos=%d) is below cursor (line=%d,pos=%d)'):format(State.screen_top1.line, State.screen_top1.pos, State.cursor1.line, State.cursor1.pos))
  assert(State.lines[State.cursor1.line].mode == 'text', 'line is not text')
    assert(screen_line_index > 1, 'bumped up against top screen line in line')
  assert(State.lines[State.cursor1.line].mode == 'text', 'line is not text')
  assert(State.cursor1.pos, 'cursor has no pos')
    assert(State.cursor1.pos > 1, 'bumped up against start of line')
  assert(end_offset > start_offset, ('end_offset %d not > start_offset %d'):format(end_offset, start_offset))
  assert(State.lines[State.cursor1.line].mode == 'text', 'line is not text')
  assert(State.lines[State.cursor1.line].mode == 'text', 'line is not text')
  assert(false, ('invalid pos %d'):format(loc1.pos))
  assert(false, ('invalid pos %d'):format(loc1.pos))
    assert(State.cursor1.line == #State.lines+1, 'tried to ensure bottom line of file is text, but failed')
      assert(top2.line > 1, 'tried to snap cursor to buttom of screen but failed')
      assert(State.lines[top2.line-1].mode == 'drawing', "expected a drawing but it's not")
  assert(my >= line_cache.starty, 'failed to map y pixel to line')
  assert(false, 'failed to map y pixel to line')
  assert(false, 'failed to map x pixel to pos')
  assert(false, 'failed to map x pixel to pos')
  assert(result.screen_pos, 'failed to convert schema-1 coordinate to schema-2')
  assert(result, "Text.offset returned nil; this is likely a failure to handle utf8")
  return result
end
function Text.previous_screen_line(State, loc2)
  return result
end
function Text.to1(State, loc2)
end
function Text.x_after(s, pos)
  local offset = Text.offset(s, math.min(pos+1, #s+1))
  local s_before = s:sub(1, offset-1)
--?   print('^'..s_before..'$')
end
-- return the nearest index of line (in utf8 code points) which lies entirely
-- within x pixels of the left margin
-- result: 0 to len+1
function Text.nearest_pos_less_than(line, x)
--?   print('', '-- nearest_pos_less_than', line, x)
  local len = utf8.len(line)
  local max_x = Text.x_after(line, len)
  if x > max_x then
    return len+1
  end
  local left, right = 0, len+1
  while true do
    local curr = math.floor((left+right)/2)
    local currxmin = Text.x_after(line, curr+1)
    local currxmax = Text.x_after(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
end
function Text.screen_line_width(State, line_index, i)
  local line = State.lines[line_index]
  local line_cache = State.line_cache[line_index]
  local start_pos = line_cache.screen_line_starting_pos[i]
  local start_offset = Text.offset(line.data, start_pos)
  local screen_line
  if i < #line_cache.screen_line_starting_pos then
    local past_end_pos = line_cache.screen_line_starting_pos[i+1]
    local past_end_offset = Text.offset(line.data, past_end_pos)
    screen_line = string.sub(line.data, start_offset, past_end_offset-1)
  else
    screen_line = string.sub(line.data, start_pos)
  end
  -- duplicate some logic from Text.draw
  local y = line_cache.starty
      -- We currently can't draw partial drawings, so either skip it entirely
      -- or not at all.
      local h = Drawing_padding_height + Drawing.pixels(State.lines[top2.line-1].h, State.width)
      if y - h < State.top then
        break
      end
--?       print('skipping drawing of height', h)
      y = y - h
    table.insert(State.lines, {mode='text', data=''})
    table.insert(State.line_cache, {})
  end
--?   print(y, App.screen.height, App.screen.height-State.line_height)
  if y > App.screen.height - State.line_height then
end
end
  if State.cursor1.pos <= utf8.len(State.lines[State.cursor1.line].data) then
    State.cursor1.pos = State.cursor1.pos+1
  if State.cursor1.pos > 1 then
    State.cursor1.pos = State.cursor1.pos-1
  local curr = s:sub(start_offset, end_offset-1)
  return curr:match(pat)
end
function Text.left(State)
    if Text.match(State.lines[State.cursor1.line].data, State.cursor1.pos-1, '%s') then
  if Text.cursor_at_final_screen_line(State) then
    -- line is done, skip to next text line
--?     print('cursor at final screen line of its line')
--?   print('down', State.cursor1.line, State.cursor1.pos, State.screen_top1.line, State.screen_top1.pos, State.screen_bottom1.line, State.screen_bottom1.pos)
    local new_screen_line_starting_pos = State.line_cache[State.cursor1.line].screen_line_starting_pos[screen_line_index-1]
    local new_screen_line_starting_byte_offset = Text.offset(State.lines[State.cursor1.line].data, new_screen_line_starting_pos)
    local s = string.sub(State.lines[State.cursor1.line].data, new_screen_line_starting_byte_offset)
    State.cursor1.pos = new_screen_line_starting_pos + Text.nearest_cursor_pos(s, State.cursor_x, State.left) - 1
--?     print('cursor pos is now '..tostring(State.cursor1.pos))
  end
  if Text.lt1(State.cursor1, State.screen_top1) then
--?   print('up', State.cursor1.line, State.cursor1.pos, State.screen_top1.line, State.screen_top1.pos)
  local screen_line_starting_pos, screen_line_index = Text.pos_at_start_of_screen_line(State, State.cursor1)
  if screen_line_starting_pos == 1 then
--?     print('cursor is at first screen line of its line')
    -- line is done; skip to previous text line
    schedule_save(State)
    record_undo_event(State, {before=before, after=snapshot(State, State.cursor1.line)})
  elseif chord == 'delete' then
  local byte_offset = Text.offset(State.lines[State.cursor1.line].data, State.cursor1.pos)
  State.lines[State.cursor1.line].data = string.sub(State.lines[State.cursor1.line].data, 1, byte_offset-1)..t..string.sub(State.lines[State.cursor1.line].data, byte_offset)
  Text.clear_screen_line_cache(State, State.cursor1.line)
  State.cursor1.pos = State.cursor1.pos+1
  for i=1,#line_cache.screen_line_starting_pos do
    local pos = line_cache.screen_line_starting_pos[i]

File deletion: source_file.lua, source_file.lua

BFD:BFD[6.2] → [15.152462:152501]

BFD:BFD[15.152501] → [15.150304:150304]

B:BD[17.11419] → [5.2493:2543]

B:BD[17.12752] → [5.2544:2612]

B:BD[17.14024] → [5.2613:2681]

B:BD[17.14919] → [5.2682:2730]

B:BD[17.16266] → [5.2731:2799]

∅:D[5.2799] → [17.16310:16388]

∅:D[5.2730] → [17.14933:16266]

∅:D[5.2681] → [17.14068:14107]

∅:D[5.2612] → [17.12796:13023]

∅:D[5.2543] → [17.11436:12752]

    assert(line, 'drawing in file is incomplete')
      assert(false, ('unknown drawing mode %s'):format(shape.mode))
      assert(false, ('unknown drawing mode %s'):format(shape.mode))
    assert(i, 'drawing in array is incomplete')
      assert(false, ('unknown drawing mode %s'):format(shape.mode))
    end
    table.insert(drawing.shapes, shape)
  end
  return i, drawing
end
--?     print(i)
    if line == '```' then break end
    local shape = json.decode(line)
    if shape.mode == 'freehand' then
      -- no changes needed
    elseif shape.mode == 'line' or shape.mode == 'manhattan' then
      local name = shape.p1.name
      shape.p1 = Drawing.find_or_insert_point(drawing.points, shape.p1.x, shape.p1.y, --[[large width to minimize overlap]] 1600)
      drawing.points[shape.p1].name = name
      name = shape.p2.name
      shape.p2 = Drawing.find_or_insert_point(drawing.points, shape.p2.x, shape.p2.y, --[[large width to minimize overlap]] 1600)
      drawing.points[shape.p2].name = name
    elseif shape.mode == 'polygon' or shape.mode == 'rectangle' or shape.mode == 'square' then
      for i,p in ipairs(shape.vertices) do
        local name = p.name
        shape.vertices[i] = Drawing.find_or_insert_point(drawing.points, p.x,p.y, --[[large width to minimize overlap]] 1600)
        drawing.points[shape.vertices[i]].name = name
      end
    elseif shape.mode == 'circle' or shape.mode == 'arc' then
      local name = shape.center.name
      shape.center = Drawing.find_or_insert_point(drawing.points, shape.center.x,shape.center.y, --[[large width to minimize overlap]] 1600)
      drawing.points[shape.center].name = name
    elseif shape.mode == 'deleted' then
      -- ignore
    else
    end
  end
  outfile:write('```\n')
    end
    table.insert(drawing.shapes, shape)
  end
  return drawing
end
function store_drawing(outfile, drawing)
  outfile:write('```lines\n')
  for _,shape in ipairs(drawing.shapes) do
    if shape.mode == 'freehand' then
    if line == '```' then break end
    local shape = json.decode(line)
    if shape.mode == 'freehand' then
      -- no changes needed
    elseif shape.mode == 'line' or shape.mode == 'manhattan' then
      local name = shape.p1.name
      shape.p1 = Drawing.find_or_insert_point(drawing.points, shape.p1.x, shape.p1.y, --[[large width to minimize overlap]] 1600)
      drawing.points[shape.p1].name = name
      name = shape.p2.name
      shape.p2 = Drawing.find_or_insert_point(drawing.points, shape.p2.x, shape.p2.y, --[[large width to minimize overlap]] 1600)
      drawing.points[shape.p2].name = name
    elseif shape.mode == 'polygon' or shape.mode == 'rectangle' or shape.mode == 'square' then
      for i,p in ipairs(shape.vertices) do
        local name = p.name
        shape.vertices[i] = Drawing.find_or_insert_point(drawing.points, p.x,p.y, --[[large width to minimize overlap]] 1600)
        drawing.points[shape.vertices[i]].name = name
      end
    elseif shape.mode == 'circle' or shape.mode == 'arc' then
      local name = shape.center.name
      shape.center = Drawing.find_or_insert_point(drawing.points, shape.center.x,shape.center.y, --[[large width to minimize overlap]] 1600)
      drawing.points[shape.center].name = name
    elseif shape.mode == 'deleted' then
      -- ignore
    else

File deletion: source_edit.lua, source_edit.lua

BFD:BFD[6.2] → [15.165788:165827]

BFD:BFD[15.165827] → [15.152503:152503]

B:BD[15.155492] → [5.2801:3162]

B:BD[17.20018] → [5.3163:3227]

∅:D[5.3227] → [15.156405:156413]

∅:D[5.3162] → [15.155757:155825]

  assert(#State.lines == #State.line_cache, ('line_cache is out of date; %d elements when it should be %d'):format(#State.line_cache, #State.lines))
  assert(Text.le1(State.screen_top1, State.cursor1), ('screen_top (line=%d,pos=%d) is below cursor (line=%d,pos=%d)'):format(State.screen_top1.line, State.screen_top1.pos, State.cursor1.line, State.cursor1.pos))
      assert(false, ('unknown line mode %s'):format(line.mode))
    end
  State.cursor_x = nil
  State.cursor_y = nil
  local y = State.top

File deletion: log_browser.lua, log_browser.lua

BFD:BFD[6.2] → [15.202684:202723]

BFD:BFD[15.202723] → [15.191243:191243]

B:BD[23.177] → [5.3379:3528]

B:BD[24.1813] → [5.3529:3647]

∅:D[5.3647] → [15.195458:195713]

∅:D[5.3528] → [15.194325:194910]

  assert(#State.lines == #State.line_cache, ('line_cache is out of date; %d elements when it should be %d'):format(#State.line_cache, #State.lines))
        else assert(line.section_end, "log line has a section name, but it's neither the start nor end of a section")
          local sectiony = y+State.line_height-Section_border_padding_vertical
          love.graphics.line(xleft,y, xleft,sectiony)
          love.graphics.line(xright,y, xright,sectiony)
          love.graphics.line(xleft,sectiony, xleft+50-2,sectiony)
  local mouse_line_index = log_browser.line_index(State, App.mouse_x(), App.mouse_y())
  local y = State.top
  for line_index = State.screen_top1.line,#State.lines do
    App.color(Text_color)
    local line = State.lines[line_index]
    if y + State.line_height > App.screen.height then break end
    local height = State.line_height
    if should_show(line) then
      local xleft = render_stack_left_margin(State, line_index, line, y)
      local xright = render_stack_right_margin(State, line_index, line, y)
      if line.section_name then
        App.color(Section_border_color)

File deletion: commands.lua, commands.lua

BFD:BFD[6.2] → [15.207182:207218]

BFD:BFD[15.207218] → [15.203826:203826]

B:BD[25.3209] → [5.9584:9630]

∅:D[5.9630] → [25.3225:3524]

  assert(index, 'file missing from manifest')
  table.remove(File_navigation.all_candidates, index)
  table.insert(File_navigation.all_candidates, 1, s)
end
function reset_file_navigator()
  Show_file_navigator = false
  File_navigation.index = 1
  File_navigation.filter = ''
  File_navigation.candidates = File_navigation.all_candidates
end

Deletion in file.lua at line 79 [7.15083]
B:BD[26.1296] → [5.8401:8401]
BD:BD[26.1296] → [5.8401:8401]
Solving an order conflict in file.lua at line 79 [7.15083]
[28.3530]