akkartik/lines-and-links - Change HIKLULFQG7Q7L4C5KXR3DV3TBZ2RGWXBJJXIGSE5YQWF37AJOYZAC

extract a function

Created by Kartik K. Agaram on June 3, 2022

HIKLULFQG7Q7L4C5KXR3DV3TBZ2RGWXBJJXIGSE5YQWF37AJOYZAC

Dependencies

In channels

main

Change contents

Replacement in text.lua at line 55 [4.1]

B:BD[3.142] → [3.142:558]

B:BD[3.558] → [5.128:171]

∅:D[5.171] → [3.606:823]

B:BD[3.606] → [3.606:823]

B:BD[3.823] → [5.172:217]

∅:D[5.217] → [3.873:919]

B:BD[3.873] → [3.873:919]

B:BD[3.919] → [5.218:295]

∅:D[5.295] → [3.1004:1056]

B:BD[3.1004] → [3.1004:1056]

        if lo then
          local lo_offset = utf8.offset(line.data, lo)
          local hi_offset = utf8.offset(line.data, hi)
          local pos_offset = utf8.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)
            local before_text = App.newText(love.graphics.getFont(), before)
            lo_px = App.width(before_text)
          end
--?           print(lo,pos,hi, '--', lo_offset,pos_offset,hi_offset, '--', lo_px)
          local s = line.data:sub(lo_offset, hi_offset-1)
          local text = App.newText(love.graphics.getFont(), s)
          local text_width = App.width(text)
          love.graphics.setColor(0.7,0.7,0.9)
          love.graphics.rectangle('fill', x+lo_px,y, text_width,Line_height)
          love.graphics.setColor(0,0,0)
        end

[3.142]

[3.1056]

        Text.draw_highlight(line, x,y, pos, lo,hi)

Insertion in select.lua at line 50 [2.43980]

[2.45803]

  end
end
-- draw highlight for line corresponding to (lo,hi) given an approximate x,y and pos on the same screen line
function Text.draw_highlight(line, x,y, pos, lo,hi)
  if lo then
    local lo_offset = utf8.offset(line.data, lo)
    local hi_offset = utf8.offset(line.data, hi)
    local pos_offset = utf8.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)
      local before_text = App.newText(love.graphics.getFont(), before)
      lo_px = App.width(before_text)
    end
--?     print(lo,pos,hi, '--', lo_offset,pos_offset,hi_offset, '--', lo_px)
    local s = line.data:sub(lo_offset, hi_offset-1)
    local text = App.newText(love.graphics.getFont(), s)
    local text_width = App.width(text)
    love.graphics.setColor(0.7,0.7,0.9)
    love.graphics.rectangle('fill', x+lo_px,y, text_width,Line_height)
    love.graphics.setColor(0,0,0)