rename a variable

[?]

Apr 9, 2023, 5:44 AM

SDEY7LFJ4LY735OZAJ6X5Y2SE3MFBT4X4TWLHVW3SS2JAK757E6QC

Dependencies

[2] I64IPGJX avoid saving fragments in lines
[3] CQWVUCXZ bugfix: syntax highlighting in source editor
[4] H4R5BHVY no more Text allocations
[5] 6WDBV52Z move a var closer to its use
[6] Z4XRNDTR find text
[7] S2QMLRXL stop creating a singleton table for every word
[8] GZ5WULJV switch source side to new screen-line-based render
[9] DHI6IJCN selecting text and deleting selections
[10] HALS7E5U more clearly skip prints before screen top
[11] V5SYDHPQ start thinking of compute_fragments as a detail
[12] XUGDTYW2 stop confusingly reading a global
[13] KKMFQDR4 editing source code from within the app
[*] BULPIBEG beginnings of a module for the text editor

Change contents

edit in text.lua at line 20

[4.95]→[4.104:135](∅→∅)

--? print('skipping', f)
replacement in text.lua at line 22

[2.363]→[2.363:521](∅→∅)

local f = Text.screen_line(line, line_cache, i)
--? print('text.draw:', f, 'at', line_index,pos, 'after', x,y)
local frag_len = utf8.len(f)

[2.363]

[4.3]

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)
replacement in text.lua at line 31

[2.618]→[2.618:658](∅→∅)

App.screen.print(f, State.left,y)

[2.618]

[4.259]

App.screen.print(screen_line, State.left,y)
replacement in text.lua at line 42

[4.869]→[2.962:1048](∅→∅)

Text.draw_cursor(State, State.left+Text.x(f, State.cursor1.pos-pos+1), y)

[4.869]

[4.530]

Text.draw_cursor(State, State.left+Text.x(screen_line, State.cursor1.pos-pos+1), y)
replacement in source_text.lua at line 21

[4.87725]→[4.575:606](∅→∅)

--? print('skipping', f)

[4.87725]

[4.87759]

--? print('skipping', screen_line)
replacement in source_text.lua at line 24

[4.456]→[4.456:614](∅→∅)

local f = Text.screen_line(line, line_cache, i)
--? print('text.draw:', f, 'at', line_index,pos, 'after', x,y)
local frag_len = utf8.len(f)

[4.456]

[4.614]

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)
replacement in source_text.lua at line 49

[3.65]→[3.65:105](∅→∅)

for frag in f:gmatch('%S*%s*') do

[3.65]

[3.105]

for frag in screen_line:gmatch('%S*%s*') do
replacement in source_text.lua at line 64

[4.88889]→[4.1761:1847](∅→∅)

Text.draw_cursor(State, State.left+Text.x(f, State.cursor1.pos-pos+1), y)

[4.88889]

[4.89003]

Text.draw_cursor(State, State.left+Text.x(screen_line, State.cursor1.pos-pos+1), y)