clean up some debug prints

Dependencies

• [2] 3OC7AIC7 exclude left margin from my word-split heuristic
• [3] ISOFHXB2 App.width can no longer take a Text
• [4] M6TH7VSZ rip out notion of Line_width
• [5] HGC5RGJP switch to line index in a function
• [6] HOSPP2AN crisp font rendering
• [7] NDHQN23G done passing left/right margins everywhere
• [8] ILOA5BYF separate data structure for each line's cache data
• [9] QYIFOHW3 first test!
• [10] JLU2RMC4 allow Text.nearest_pos_less_than to return 0
• [11] OI4FPFIN support drawings in the source editor
• [12] XNFTJHC4 split keyboard handling between Text and Drawing
• [13] UPCIYZEU drop an unnecessary level of indent
• [14] PFT5Y2ZY move
• [15] 5DOTWNVM right margin
• [16] H4R5BHVY no more Text allocations
• [17] KKMFQDR4 editing source code from within the app
• [18] KURLAXXI clean up some prints
• [*] BULPIBEG beginnings of a module for the text editor

Change contents

• edit in text.lua at line 102
  [4.101]→[4.74:155](∅→∅)
  − --? print('compute_fragments', line_index, 'between', State.left, State.right)
• edit in text.lua at line 113
  [3.128]→[4.3:120](∅→∅),[4.2940]→[4.3:120](∅→∅)
  − --? print('x: '..tostring(x)..'; frag_width: '..tostring(frag_width)..'; '..tostring(State.right-x)..'px to go')
• edit in text.lua at line 114
  [4.45]→[4.45:169](∅→∅)
  − --? print(('checking whether to split fragment ^%s$ of width %d when rendering from %d'):format(frag, frag_width, x))
• edit in text.lua at line 115
  [2.251]→[4.203:234](∅→∅),[4.203]→[4.203:234](∅→∅)
  − --? print('splitting')
• edit in text.lua at line 118
  [4.402]→[4.402:434](∅→∅)
  − --? print('bpos', bpos)
• edit in text.lua at line 120
  [4.581]→[4.581:676](∅→∅)
  − --? print('space for '..tostring(bpos)..' graphemes, '..tostring(boffset-1)..' bytes')
• edit in text.lua at line 122
  [3.174]→[4.850:935](∅→∅),[4.850]→[4.850:935](∅→∅)
  − --? print('extracting ^'..frag1..'$ of width '..tostring(frag1_width)..'px')
• edit in text.lua at line 130
  [4.1407]→[4.538:618](∅→∅)
  − --? print('inserting ^'..frag..'$ of width '..tostring(frag_width)..'px')
• edit in source_text.lua at line 118
  [4.92199]→[4.92199:92280](∅→∅)
  − --? print('compute_fragments', line_index, 'between', State.left, State.right)
• edit in source_text.lua at line 129
  [3.435]→[4.92657:92774](∅→∅),[4.92657]→[4.92657:92774](∅→∅)
  − --? print('x: '..tostring(x)..'; frag_width: '..tostring(frag_width)..'; '..tostring(State.right-x)..'px to go')
• edit in source_text.lua at line 130
  [4.92816]→[4.92816:92940](∅→∅)
  − --? print(('checking whether to split fragment ^%s$ of width %d when rendering from %d'):format(frag, frag_width, x))
• edit in source_text.lua at line 131
  [4.93002]→[4.93002:93033](∅→∅)
  − --? print('splitting')
• edit in source_text.lua at line 134
  [4.93201]→[4.93201:93233](∅→∅)
  − --? print('bpos', bpos)
• edit in source_text.lua at line 136
  [4.93391]→[4.93391:93486](∅→∅)
  − --? print('space for '..tostring(bpos)..' graphemes, '..tostring(boffset-1)..' bytes')
• edit in source_text.lua at line 138
  [3.481]→[4.93660:93745](∅→∅),[4.93660]→[4.93660:93745](∅→∅)
  − --? print('extracting ^'..frag1..'$ of width '..tostring(frag1_width)..'px')
• edit in source_text.lua at line 146
  [4.94086]→[4.94086:94166](∅→∅)
  − --? print('inserting ^'..frag..'$ of width '..tostring(frag_width)..'px')