BFD:BFD[
4.2] → [
5.147125:147164]
BFD:BFD[
4.2] → [
5.147125:147164]
BFD:BFD[
5.147164] → [
5.83786:83786]
B:BD[
5.88952] → [
3.450:546]
∅:D[
3.546] → [
5.89066:89102]
B:BD[
5.88252] → [
3.238:449]
∅:D[
3.449] → [
5.88290:88326]
∅:D[
3.237] → [
6.614:1233]
∅:D[
3.48] → [
5.87822:87831]
Text.draw_cursor(State, State.left+Text.x(screen_line, State.cursor1.pos-pos+1), y)
end
end
end
-- render colorized text
local x = State.left
for frag in screen_line:gmatch('%S*%s*') do
select_color(frag)
App.screen.print(frag, x,y)
x = x+App.width(frag)
end
-- render cursor if necessary
local screen_line = Text.screen_line(line, line_cache, i)
--? print('text.draw:', screen_line, 'at', line_index,pos, 'after', x,y)
local frag_len = utf8.len(screen_line)
-- render any link decorations
for _,link_offsets in ipairs(line_cache.link_offsets) do
local s,e,filename = unpack(link_offsets)
local lo, hi = Text.clip_wikiword_with_screen_line(line, line_cache, i, s, e)
if lo then
button(State, 'link', {x=State.left+lo, y=y, w=hi-lo, h=State.line_height, color={1,1,1},
icon = icon.hyperlink_decoration,
onpress1 = function()
if file_exists(filename) then
source.switch_to_file(filename)
end
end,
})
--? print('skipping', screen_line)
else