akkartik/wardley.love - Change 3YZEZM2HL4TMITYHOA46J7SJNCX7NRHFMREMFM23TP5QK5CDPZEQC

bugfix: search highlight straddling screen lines

Created by akkartik on July 31, 2023

3YZEZM2HL4TMITYHOA46J7SJNCX7NRHFMREMFM23TP5QK5CDPZEQC

Dependencies

In channels

main

Change contents

Replacement in text.lua at line 33 [5.1]

B:BD[4.34] → [2.0:82]

∅:D[2.82] → [6.3:237]

∅:D[4.117] → [6.3:237]

B:BD[7.458] → [6.3:237]

B:BD[6.237] → [8.0:71]

B:BD[8.71] → [3.32:121]

∅:D[3.121] → [7.838:854]

∅:D[9.961] → [7.838:854]

B:BD[7.838] → [7.838:854]

          if pos <= State.cursor1.pos and pos + frag_len > State.cursor1.pos then
            local data = State.lines[State.cursor1.line].data
            local cursor_offset = Text.offset(data, State.cursor1.pos)
            if data:sub(cursor_offset, cursor_offset+#State.search_term-1) == State.search_term then
              local hi = State.cursor1.pos+utf8.len(State.search_term)
              Text.draw_highlight(State, line, State.left,y, pos, State.cursor1.pos, hi)
            end

[4.34]

[4.118]

          local data = State.lines[State.cursor1.line].data
          local cursor_offset = Text.offset(data, State.cursor1.pos)
          if data:sub(cursor_offset, cursor_offset+#State.search_term-1) == State.search_term then
            local save_selection = State.selection1
            State.selection1 = {line=line_index, pos=State.cursor1.pos+utf8.len(State.search_term)}
            local lo, hi = Text.clip_selection(State, line_index, pos, pos+frag_len)
            Text.draw_highlight(State, line, State.left,y, pos, lo,hi)
            State.selection1 = save_selection

Replacement in source_text.lua at line 50 [10.83723]

B:BD[4.263] → [2.568:650]

∅:D[4.346] → [6.242:476]

∅:D[2.650] → [6.242:476]

B:BD[10.88448] → [6.242:476]

B:BD[6.476] → [8.175:246]

B:BD[8.246] → [3.258:347]

∅:D[3.347] → [10.88835:88851]

∅:D[11.1760] → [10.88835:88851]

B:BD[10.88835] → [10.88835:88851]

          if pos <= State.cursor1.pos and pos + frag_len > State.cursor1.pos then
            local data = State.lines[State.cursor1.line].data
            local cursor_offset = Text.offset(data, State.cursor1.pos)
            if data:sub(cursor_offset, cursor_offset+#State.search_term-1) == State.search_term then
              local hi = State.cursor1.pos+utf8.len(State.search_term)
              Text.draw_highlight(State, line, State.left,y, pos, State.cursor1.pos, hi)
            end

[4.263]

[4.347]

          local data = State.lines[State.cursor1.line].data
          local cursor_offset = Text.offset(data, State.cursor1.pos)
          if data:sub(cursor_offset, cursor_offset+#State.search_term-1) == State.search_term then
            local save_selection = State.selection1
            State.selection1 = {line=line_index, pos=State.cursor1.pos+utf8.len(State.search_term)}
            local lo, hi = Text.clip_selection(State, line_index, pos, pos+frag_len)
            Text.draw_highlight(State, line, State.left,y, pos, lo,hi)
            State.selection1 = save_selection