BFD:BFD[
4.2] → [
5.147062:147101]
BFD:BFD[
4.2] → [
5.147062:147101]
BFD:BFD[
5.147101] → [
5.83723:83723]
B:BD[
6.456] → [
3.386:574]
B:BD[
5.88889] → [
3.626:722]
∅:D[
3.722] → [
5.89003:89039]
∅:D[
3.574] → [
6.614:1233]
B:BD[
5.87725] → [
3.344:385]
∅:D[
3.385] → [
5.87759:87768]
B:BD[
7.105] → [
7.105:208]
∅:D[
7.208] → [
5.88227:88263]
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)
Text.draw_cursor(State, State.left+Text.x(screen_line, State.cursor1.pos-pos+1), y)
end
end
end
-- 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
-- render colorized text
local x = State.left
select_color(frag)
App.screen.print(frag, x,y)
x = x+App.width(frag)
end
-- render cursor if necessary
for frag in screen_line:gmatch('%S*%s*') do