replacement in text.lua at line 50
[6.2604]→[3.126:151](∅→∅) replacement in text.lua at line 218
[6.1104]→[6.588:685](∅→∅),
[6.588]→[6.588:685](∅→∅) − Text.redraw_all(State) -- if we're scrolling, reclaim all fragments to avoid memory leaks
+ Text.redraw_all(State) -- if we're scrolling, reclaim all line caches to avoid memory leaks
replacement in text.lua at line 356
− Text.redraw_all(State) -- if we're scrolling, reclaim all fragments to avoid memory leaks
+ Text.redraw_all(State) -- if we're scrolling, reclaim all line caches to avoid memory leaks
replacement in text.lua at line 405
[6.3830]→[6.1164:1257](∅→∅) − Text.redraw_all(State) -- if we're scrolling, reclaim all fragments to avoid memory leaks
+ Text.redraw_all(State) -- if we're scrolling, reclaim all line caches to avoid memory leaks
replacement in text.lua at line 467
[6.1234]→[6.1234:1329](∅→∅) − Text.redraw_all(State) -- if we're scrolling, reclaim all fragments to avoid memory leaks
+ Text.redraw_all(State) -- if we're scrolling, reclaim all line caches to avoid memory leaks
replacement in text.lua at line 613
[6.1459]→[6.1459:1554](∅→∅) − Text.redraw_all(State) -- if we're scrolling, reclaim all fragments to avoid memory leaks
+ Text.redraw_all(State) -- if we're scrolling, reclaim all line caches to avoid memory leaks
replacement in text.lua at line 758
[6.1425]→[6.3781:3874](∅→∅),
[6.3068]→[6.3781:3874](∅→∅),
[6.3781]→[6.3781:3874](∅→∅) − Text.redraw_all(State) -- if we're scrolling, reclaim all fragments to avoid memory leaks
+ Text.redraw_all(State) -- if we're scrolling, reclaim all line caches to avoid memory leaks
replacement in text.lua at line 1047
[6.5911]→[6.698:732](∅→∅),
[6.4025]→[6.698:732](∅→∅) − --? print('clearing fragments')
+ --? print('clearing line caches')
replacement in source_text.lua at line 292
[6.2660]→[6.102691:102788](∅→∅),
[6.102691]→[6.102691:102788](∅→∅) − Text.redraw_all(State) -- if we're scrolling, reclaim all fragments to avoid memory leaks
+ Text.redraw_all(State) -- if we're scrolling, reclaim all line caches to avoid memory leaks
replacement in source_text.lua at line 430
[6.4458]→[6.4458:4551](∅→∅) − Text.redraw_all(State) -- if we're scrolling, reclaim all fragments to avoid memory leaks
+ Text.redraw_all(State) -- if we're scrolling, reclaim all line caches to avoid memory leaks
replacement in source_text.lua at line 479
[6.108977]→[6.108977:109070](∅→∅) − Text.redraw_all(State) -- if we're scrolling, reclaim all fragments to avoid memory leaks
+ Text.redraw_all(State) -- if we're scrolling, reclaim all line caches to avoid memory leaks
replacement in source_text.lua at line 541
[6.2790]→[6.2790:2885](∅→∅) − Text.redraw_all(State) -- if we're scrolling, reclaim all fragments to avoid memory leaks
+ Text.redraw_all(State) -- if we're scrolling, reclaim all line caches to avoid memory leaks
replacement in source_text.lua at line 687
[6.3015]→[6.3015:3110](∅→∅) − Text.redraw_all(State) -- if we're scrolling, reclaim all fragments to avoid memory leaks
+ Text.redraw_all(State) -- if we're scrolling, reclaim all line caches to avoid memory leaks
replacement in source_text.lua at line 832
[6.4080]→[6.128576:128669](∅→∅),
[6.6960]→[6.128576:128669](∅→∅),
[6.128576]→[6.128576:128669](∅→∅) − Text.redraw_all(State) -- if we're scrolling, reclaim all fragments to avoid memory leaks
+ Text.redraw_all(State) -- if we're scrolling, reclaim all line caches to avoid memory leaks
replacement in source_text.lua at line 1121
[6.146487]→[6.146487:146521](∅→∅) − --? print('clearing fragments')
+ --? print('clearing line caches')
replacement in source_edit.lua at line 56
[6.153575]→[2.11:92](∅→∅),
[2.92]→[6.153676:153789](∅→∅),
[6.153676]→[6.153676:153789](∅→∅) − -- fragments: snippets of the line guaranteed to not straddle screen lines
− -- screen_line_starting_pos: optional array of grapheme indices if it wraps over more than one screen line
+ -- screen_line_starting_pos: optional array of codepoint indices if it wraps over more than one screen line
replacement in source_edit.lua at line 402
[6.158402]→[6.158402:158499](∅→∅) − Text.redraw_all(State) -- if we're scrolling, reclaim all fragments to avoid memory leaks
+ Text.redraw_all(State) -- if we're scrolling, reclaim all line caches to avoid memory leaks
replacement in source_edit.lua at line 447
[6.23121]→[6.161174:161276](∅→∅),
[6.161174]→[6.161174:161276](∅→∅) − -- if we're scrolling, reclaim all fragments to avoid memory leaks
− Text.redraw_all(State)
+ Text.redraw_all(State) -- if we're scrolling, reclaim all line caches to avoid memory leaks
replacement in source_edit.lua at line 460
[6.23211]→[6.161677:161779](∅→∅),
[6.161677]→[6.161677:161779](∅→∅) − -- if we're scrolling, reclaim all fragments to avoid memory leaks
− Text.redraw_all(State)
+ Text.redraw_all(State) -- if we're scrolling, reclaim all line caches to avoid memory leaks
replacement in edit.lua at line 398
[6.7184]→[6.6689:6786](∅→∅) − Text.redraw_all(State) -- if we're scrolling, reclaim all fragments to avoid memory leaks
+ Text.redraw_all(State) -- if we're scrolling, reclaim all line caches to avoid memory leaks
replacement in edit.lua at line 446
− -- if we're scrolling, reclaim all fragments to avoid memory leaks
− Text.redraw_all(State)
+ Text.redraw_all(State) -- if we're scrolling, reclaim all line caches to avoid memory leaks
replacement in edit.lua at line 459
− -- if we're scrolling, reclaim all fragments to avoid memory leaks
− Text.redraw_all(State)
+ Text.redraw_all(State) -- if we're scrolling, reclaim all line caches to avoid memory leaks