-- helpers for the search bar (C-f) function Text.draw_search_bar() local h = Editor_state.line_height+2 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) App.color(Text_color) App.screen.print(Editor_state.search_term, 25,y-5) App.color(Cursor_color) if Editor_state.search_text == nil then Editor_state.search_text = App.newText(love.graphics.getFont(), Editor_state.search_term) end love.graphics.circle('fill', 25+App.width(Editor_state.search_text),y-5+h, 2) App.color(Text_color) end function Text.search_next() -- search current line local pos = Editor_state.lines[Editor_state.cursor1.line].data:find(Editor_state.search_term, Editor_state.cursor1.pos) if pos then Editor_state.cursor1.pos = pos end if pos == nil then for i=Editor_state.cursor1.line+1,#Editor_state.lines do pos = Editor_state.lines[i].data:find(Editor_state.search_term) if pos then Editor_state.cursor1.line = i Editor_state.cursor1.pos = pos break end end end if pos == nil then -- wrap around for i=1,Editor_state.cursor1.line-1 do pos = Editor_state.lines[i].data:find(Editor_state.search_term) if pos then Editor_state.cursor1.line = i Editor_state.cursor1.pos = pos break end end end if pos == nil then Editor_state.cursor1.line = Editor_state.search_backup.cursor.line Editor_state.cursor1.pos = Editor_state.search_backup.cursor.pos Editor_state.screen_top1.line = Editor_state.search_backup.screen_top.line Editor_state.screen_top1.pos = Editor_state.search_backup.screen_top.pos end if Text.lt1(Editor_state.cursor1, Editor_state.screen_top1) or Text.lt1(Editor_state.screen_bottom1, Editor_state.cursor1) then Editor_state.screen_top1.line = Editor_state.cursor1.line local _, pos = Text.pos_at_start_of_cursor_screen_line(Editor_state.margin_left, App.screen.width-Editor_state.margin_right) Editor_state.screen_top1.pos = pos end end function Text.search_previous() -- search current line local pos = rfind(Editor_state.lines[Editor_state.cursor1.line].data, Editor_state.search_term, Editor_state.cursor1.pos) if pos then Editor_state.cursor1.pos = pos end if pos == nil then for i=Editor_state.cursor1.line-1,1,-1 do pos = rfind(Editor_state.lines[i].data, Editor_state.search_term) if pos then Editor_state.cursor1.line = i Editor_state.cursor1.pos = pos break end end end if pos == nil then -- wrap around for i=#Editor_state.lines,Editor_state.cursor1.line+1,-1 do pos = rfind(Editor_state.lines[i].data, Editor_state.search_term) if pos then Editor_state.cursor1.line = i Editor_state.cursor1.pos = pos break end end end if pos == nil then Editor_state.cursor1.line = Editor_state.search_backup.cursor.line Editor_state.cursor1.pos = Editor_state.search_backup.cursor.pos Editor_state.screen_top1.line = Editor_state.search_backup.screen_top.line Editor_state.screen_top1.pos = Editor_state.search_backup.screen_top.pos end if Text.lt1(Editor_state.cursor1, Editor_state.screen_top1) or Text.lt1(Editor_state.screen_bottom1, Editor_state.cursor1) then Editor_state.screen_top1.line = Editor_state.cursor1.line local _, pos = Text.pos_at_start_of_cursor_screen_line(Editor_state.margin_left, App.screen.width-Editor_state.margin_right) Editor_state.screen_top1.pos = pos 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