better formatting

Dependencies

• [2] KKMFQDR4 editing source code from within the app
• [3] HZRO5BV5 require editor margins to be ints
• [4] 66X36NZN a little more prose describing manual_tests
• [5] WOXIYUTL bugfix: manage screen_top and cursor when resizing
• [6] 4AXV2HG4 all pending manual tests done!
• [7] 2L5MEZV3 experiment: new edit namespace
• [8] VSBSWTE4 bugfix: where cursor is drawn
• [*] BJ5X5O4A let's prevent the text cursor from ever getting on a drawing

Change contents

• replacement in Manual_tests.md at line 7
  [2.210562]→[2.210562:210606](∅→∅)
  − - terminal log shows unit tests running
  [2.210562]

  [4.210]
  +

  + - terminal log shows unit tests running
• replacement in Manual_tests.md at line 11
  [2.210630]→[2.210630:211245](∅→∅)
  − - delete app settings, start; window opens running the text editor

  − - quit while running the text editor, restart; window opens running the text editor in same position+dimensions

  − - quit while editing source (color; no drawings; no selection), restart; window opens editing source in same position+dimensions

  − - start out running the text editor, move window, press ctrl+e twice; window is running text editor in same position+dimensions

  − - start out editing source, move window, press ctrl+e twice; window is editing source in same position+dimensions

  − - no log file; switching to source works
  [2.210630]

  [2.211245]
  +

  + - delete app settings, start; window opens running the text editor

  + - quit while running the text editor, restart; window opens running the text editor in same position+dimensions

  + - quit while editing source (color; no drawings; no selection), restart; window opens editing source in same position+dimensions

  + - start out running the text editor, move window, press ctrl+e twice; window is running text editor in same position+dimensions

  + - start out editing source, move window, press ctrl+e twice; window is editing source in same position+dimensions

  + - no log file; switching to source works
• replacement in Manual_tests.md at line 51
  [4.16090]→[3.97:214](∅→∅)
  − * I wish I could require pixel coordinates to integers. The editor defensively

  − converts input margins to integers.
  [4.16090]

  [3.214]
  + * I wish I could require pixel coordinates to be integers. The editor

  + defensively converts input margins to integers.