-- helpers for selecting portions of text -- Return any intersection of the region from State.selection1 to -- State.cursor1 (or current mouse, if mouse is pressed) with the region -- between {line=line_index, pos=apos} and {line=line_index, pos=bpos}. -- apos must be less than bpos. However State.selection1 and State.cursor1 can be in any order. -- Result: positions spos,epos between apos,bpos. function Text.clip_selection(State, line_index, apos, bpos) if State.selection1.line == nil then return nil,nil end -- min,max = sorted(State.selection1,State.cursor1) local minl,minp = State.selection1.line,State.selection1.pos local maxl,maxp if State.mouse_down then maxl,maxp = Text.mouse_pos(State) else maxl,maxp = State.cursor1.line,State.cursor1.pos end if Text.lt1({line=maxl, pos=maxp}, {line=minl, pos=minp}) then minl,maxl = maxl,minl minp,maxp = maxp,minp end -- check if intervals are disjoint if line_index < minl then return nil,nil end if line_index > maxl then return nil,nil end if line_index == minl and bpos <= minp then return nil,nil end if line_index == maxl and apos >= maxp then return nil,nil end -- compare bounds more carefully (start inclusive, end exclusive) local a_ge = Text.le1({line=minl, pos=minp}, {line=line_index, pos=apos}) local b_lt = Text.lt1({line=line_index, pos=bpos}, {line=maxl, pos=maxp}) if a_ge and b_lt then -- fully contained return apos,bpos elseif a_ge then assert(maxl == line_index, ('maxl %d not equal to line_index %d'):format(maxl, line_index)) return apos,maxp elseif b_lt then assert(minl == line_index, ('minl %d not equal to line_index %d'):format(minl, line_index)) return minp,bpos else assert(minl == maxl and minl == line_index, ('minl %d, maxl %d and line_index %d are not all equal'):format(minl, maxl, line_index)) return minp,maxp end end -- draw highlight for line corresponding to (lo,hi) given an approximate x,y and pos on the same screen line -- Returns some intermediate computation useful elsewhere. function Text.draw_highlight(State, line, x,y, pos, lo,hi) if lo then local lo_offset = Text.offset(line.data, lo) local hi_offset = Text.offset(line.data, hi) local pos_offset = Text.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) lo_px = State.font:getWidth(before) end local s = line.data:sub(lo_offset, hi_offset-1) App.color(Highlight_color) love.graphics.rectangle('fill', x+lo_px,y, State.font:getWidth(s),State.line_height) App.color(Text_color) return lo_px end end function Text.mouse_pos(State) local x,y = App.mouse_x(), App.mouse_y() if y < State.top then return State.screen_top1.line, State.screen_top1.pos end for line_index,line in ipairs(State.lines) do if Text.in_line(State, line_index, x,y) then return line_index, Text.to_pos_on_line(State, line_index, x,y) end end local screen_bottom1 = Text.screen_bottom1(State) return screen_bottom1.line, Text.pos_at_end_of_screen_line(State, screen_bottom1) end function Text.selection(State) if State.selection1.line == nil then return end -- min,max = sorted(State.selection1,State.cursor1) local minl,minp = State.selection1.line,State.selection1.pos local maxl,maxp = State.cursor1.line,State.cursor1.pos if minl > maxl then minl,maxl = maxl,minl minp,maxp = maxp,minp elseif minl == maxl then if minp > maxp then minp,maxp = maxp,minp end end local min_offset = Text.offset(State.lines[minl].data, minp) local max_offset = Text.offset(State.lines[maxl].data, maxp) if minl == maxl then return State.lines[minl].data:sub(min_offset, max_offset-1) end assert(minl < maxl, ('minl %d not < maxl %d'):format(minl, maxl)) local result = {State.lines[minl].data:sub(min_offset)} for i=minl+1,maxl-1 do table.insert(result, State.lines[i].data) end table.insert(result, State.lines[maxl].data:sub(1, max_offset-1)) return table.concat(result, '\n') end