Merge text0

Dependencies

• [2] WS436426 Merge text0
• [3] 3KMHGUMH Merge lines.love
• [4] 5BMR5HRT click to the left of a line
• [5] LNUHQOGH start passing in Editor_state explicitly
• [6] 5STHSG4U remove some duplication
• [7] QQBP3G6W return height of editor widget after drawing
• [8] 7VGDIPLC more robust state validation
• [9] TGHAJBES use line cache for drawings as well
• [10] MD3W5IRA new fork: rip out drawing support
• [11] ERQKFTPV extract method
• [12] LDFXFRUO bring a few things in sync between run and source
• [13] 4NUCYNB4 Merge text0
• [14] GZ2OYPSH configurable colors and cursor in editor widget
• [15] UHB4GARJ left/right margin -> left/right coordinates
• [*] 2L5MEZV3 experiment: new edit namespace

Change contents

• edit in edit.lua at line 96
  [4.795]

  [4.20]
  + -- return y drawn until
• edit in edit.lua at line 98
  [4.63]→[2.17:17](∅→∅),[4.366]→[4.28:52](∅→∅),[4.366]→[4.28:52](∅→∅)
  −

  − -- return y drawn until
• resolve order conflict in edit.lua at line 98
  [4.63]

  [4.642]