comparison editor.luan @ 35:c5b57654147b

minor
author Franklin Schmidt <fschmidt@gmail.com>
date Mon, 14 Apr 2025 19:07:12 -0600
parents 8535209b61ff
children 0a8865de3d53
comparison
equal deleted inserted replaced
34:8535209b61ff 35:c5b57654147b
222 while(true) do 222 while(true) do
223 local j1, j2 = r.find(text,i) 223 local j1, j2 = r.find(text,i)
224 if j1 == nil then 224 if j1 == nil then
225 break 225 break
226 end 226 end
227 j2 = j2 + 1
227 matches[#matches+1] = { start=j1, end_=j2 } 228 matches[#matches+1] = { start=j1, end_=j2 }
228 i = j2 229 i = j2
229 end 230 end
230 return matches 231 return matches
231 end 232 end