remove a duplicate print to screen

Dependencies

• [2] SDEY7LFJ rename a variable
• [3] IAWCZRFU extract a variable
• [4] GZ5WULJV switch source side to new screen-line-based render
• [5] ZE7LVQNE improve a comment
• [6] OYXDYPGS get rid of debug variables
• [7] ISOFHXB2 App.width can no longer take a Text
• [8] DHI6IJCN selecting text and deleting selections
• [9] I64IPGJX avoid saving fragments in lines
• [10] CQWVUCXZ bugfix: syntax highlighting in source editor
• [11] HALS7E5U more clearly skip prints before screen top
• [12] S2QMLRXL stop creating a singleton table for every word
• [13] X3F7ECSL add state arg to some functions
• [14] 6WDBV52Z move a var closer to its use
• [15] H4R5BHVY no more Text allocations
• [16] MXA3RZYK deduce left/right from state where possible
• [17] KURLAXXI clean up some prints
• [18] KKMFQDR4 editing source code from within the app
• [19] S2MISTTM add state arg to a few functions
• [20] H2DPLWMV snapshot: wrapping long lines at word boundaries
• [21] Z4XRNDTR find text
• [22] HIKLULFQ extract a function
• [23] ZPQI5UL3 bugfix: never use utf8 pos in string.sub
• [24] FZBXBUFF bugfix: search
• [25] UN7GKYV5 support hyperlinks in the source editor
• [26] KMSL74GA support selections in the source editor
• [*] BULPIBEG beginnings of a module for the text editor

Change contents

• replacement in text.lua at line 25
  [2.191]→[4.3:28](∅→∅),[4.521]→[4.3:28](∅→∅),[4.138]→[4.3:28](∅→∅)
  − -- render fragment
  [2.191]

  [4.629]
  + -- render any highlights
• edit in text.lua at line 30
  [4.1066]→[4.590:618](∅→∅),[4.618]→[2.192:242](∅→∅)
  − App.color(Text_color)

  − App.screen.print(screen_line, State.left,y)
• replacement in text.lua at line 38
  [3.75]→[3.75:178](∅→∅),[3.178]→[4.738:774](∅→∅),[4.887]→[4.738:774](∅→∅),[4.1566]→[4.738:774](∅→∅),[4.738]→[4.738:774](∅→∅),[4.774]→[4.888:961](∅→∅)
  − local lo_px = Text.draw_highlight(State, line, State.left,y, pos, State.cursor1.pos, hi)

  − App.color(Text_color)

  − love.graphics.print(State.search_term, State.left+lo_px,y)
  [3.75]

  [4.838]
  + Text.draw_highlight(State, line, State.left,y, pos, State.cursor1.pos, hi)
• edit in text.lua at line 52
  [4.2604]

  [4.1049]
  + -- render fragment

  + App.color(Text_color)

  + App.screen.print(screen_line, State.left,y)
• replacement in source_text.lua at line 42
  [4.20777]→[4.1234:1259](∅→∅)
  − -- render fragment
  [4.20777]

  [4.20777]
  + -- render any highlights
• edit in source_text.lua at line 46
  [4.1327]→[4.88179:88189](∅→∅),[4.20952]→[4.88179:88189](∅→∅),[4.88179]→[4.88179:88189](∅→∅),[4.88189]→[4.7:65](∅→∅),[4.65]→[2.575:625](∅→∅),[2.625]→[4.105:198](∅→∅),[4.105]→[4.105:198](∅→∅)
  − 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)
• replacement in source_text.lua at line 55
  [3.254]→[3.254:357](∅→∅),[3.357]→[4.88735:88771](∅→∅),[4.1686]→[4.88735:88771](∅→∅),[4.88735]→[4.88735:88771](∅→∅),[4.88771]→[4.1687:1760](∅→∅)
  − local lo_px = Text.draw_highlight(State, line, State.left,y, pos, State.cursor1.pos, hi)

  − App.color(Text_color)

  − love.graphics.print(State.search_term, State.left+lo_px,y)
  [3.254]

  [4.88835]
  + Text.draw_highlight(State, line, State.left,y, pos, State.cursor1.pos, hi)
• edit in source_text.lua at line 68
  [4.89029]

  [4.89029]
  + 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)