bugfix: syntax highlighting in source editor

[?]
Apr 9, 2023, 5:21 AM
CQWVUCXZTEFR6LAI6WIVJXRX6RB2O5KVZRC3ACL24TCMMPKGD7MQC

Dependencies

  • [2] GZ5WULJV switch source side to new screen-line-based render
  • [3] KKMFQDR4 editing source code from within the app
  • [4] UN7GKYV5 support hyperlinks in the source editor
  • [5] KMSL74GA support selections in the source editor
  • [6] H4R5BHVY no more Text allocations

Change contents

  • replacement in source_text.lua at line 47
    [3.88189][2.1328:1390]()
    select_color(f)
    App.screen.print(f, State.left,y)
    [3.88189]
    [3.88227]
    -- render colorized text
    local x = State.left
    for frag in f:gmatch('%S*%s*') do
    select_color(frag)
    App.screen.print(frag, x,y)
    x = x+App.width(frag)
    end