view.love/search.lua

120 lines
3.7 KiB
Lua
Raw Normal View History

2022-06-03 21:14:53 +00:00
-- helpers for the search bar (C-f)
function Text.draw_search_bar(State)
local h = State.line_height+2
2022-06-03 21:14:53 +00:00
local y = App.screen.height-h
love.graphics.setColor(0.9,0.9,0.9)
love.graphics.rectangle('fill', 0, y-10, App.screen.width-1, h+8)
love.graphics.setColor(0.6,0.6,0.6)
love.graphics.line(0, y-10, App.screen.width-1, y-10)
love.graphics.setColor(1,1,1)
love.graphics.rectangle('fill', 20, y-6, App.screen.width-40, h+2, 2,2)
love.graphics.setColor(0.6,0.6,0.6)
love.graphics.rectangle('line', 20, y-6, App.screen.width-40, h+2, 2,2)
2022-07-12 06:03:27 +00:00
App.color(Text_color)
App.screen.print(State.search_term, 25,y-5)
if State.search_text == nil then
State.search_text = App.newText(love.graphics.getFont(), State.search_term)
2022-06-03 21:14:53 +00:00
end
2022-07-26 01:17:04 +00:00
Text.draw_cursor(State, 25+App.width(State.search_text),y-5)
2022-06-03 21:14:53 +00:00
end
function Text.search_next(State)
local pos
2022-06-03 21:14:53 +00:00
-- search current line
local line = State.lines[State.cursor1.line]
if line.mode == 'text' then
pos = line.data:find(State.search_term, State.cursor1.pos)
if pos then
State.cursor1.pos = pos
end
2022-06-03 21:14:53 +00:00
end
if pos == nil then
for i=State.cursor1.line+1,#State.lines do
local line = State.lines[i]
if line.mode == 'text' then
pos = State.lines[i].data:find(State.search_term)
if pos then
State.cursor1.line = i
State.cursor1.pos = pos
break
end
2022-06-03 21:14:53 +00:00
end
end
end
if pos == nil then
-- wrap around
for i=1,State.cursor1.line-1 do
pos = State.lines[i].data:find(State.search_term)
2022-06-03 21:14:53 +00:00
if pos then
State.cursor1.line = i
State.cursor1.pos = pos
2022-06-03 21:14:53 +00:00
break
end
end
end
if pos == nil then
State.cursor1.line = State.search_backup.cursor.line
State.cursor1.pos = State.search_backup.cursor.pos
State.screen_top1.line = State.search_backup.screen_top.line
State.screen_top1.pos = State.search_backup.screen_top.pos
2022-06-03 21:14:53 +00:00
end
if Text.lt1(State.cursor1, State.screen_top1) or Text.lt1(State.screen_bottom1, State.cursor1) then
State.screen_top1.line = State.cursor1.line
local _, pos = Text.pos_at_start_of_cursor_screen_line(State, State.left, State.right)
State.screen_top1.pos = pos
2022-06-03 21:14:53 +00:00
end
end
function Text.search_previous(State)
2022-06-03 21:14:53 +00:00
-- search current line
local pos = rfind(State.lines[State.cursor1.line].data, State.search_term, State.cursor1.pos)
2022-06-03 21:14:53 +00:00
if pos then
State.cursor1.pos = pos
2022-06-03 21:14:53 +00:00
end
if pos == nil then
for i=State.cursor1.line-1,1,-1 do
pos = rfind(State.lines[i].data, State.search_term)
2022-06-03 21:14:53 +00:00
if pos then
State.cursor1.line = i
State.cursor1.pos = pos
2022-06-03 21:14:53 +00:00
break
end
end
end
if pos == nil then
-- wrap around
for i=#State.lines,State.cursor1.line+1,-1 do
pos = rfind(State.lines[i].data, State.search_term)
2022-06-03 21:14:53 +00:00
if pos then
State.cursor1.line = i
State.cursor1.pos = pos
2022-06-03 21:14:53 +00:00
break
end
end
end
if pos == nil then
State.cursor1.line = State.search_backup.cursor.line
State.cursor1.pos = State.search_backup.cursor.pos
State.screen_top1.line = State.search_backup.screen_top.line
State.screen_top1.pos = State.search_backup.screen_top.pos
2022-06-03 21:14:53 +00:00
end
if Text.lt1(State.cursor1, State.screen_top1) or Text.lt1(State.screen_bottom1, State.cursor1) then
State.screen_top1.line = State.cursor1.line
local _, pos = Text.pos_at_start_of_cursor_screen_line(State, State.left, State.right)
State.screen_top1.pos = pos
2022-06-03 21:14:53 +00:00
end
end
function rfind(s, pat, i)
local rs = s:reverse()
local rpat = pat:reverse()
if i == nil then i = #s end
local ri = #s - i + 1
local rendpos = rs:find(rpat, ri)
if rendpos == nil then return nil end
local endpos = #s - rendpos + 1
assert (endpos >= #pat)
return endpos-#pat+1
end