remove an assertion

akkartik

Nov 18, 2023, 1:41 PM

N6JEX2X6HBESAQGX4SUVRLUH6BAKXVP3TEETMZIJ6MFCPDY2XKVQC

Dependencies

• [2] R2ASHK5C fix a bad merge
• [3] OV6FE23R Merge text0
• [4] ICS45BIL editor widget now takes a bottom margin
• [*] 2L5MEZV3 experiment: new edit namespace

Change contents

• replacement in edit.lua at line 116
  [2.339]→[2.339:453](∅→∅)
  − print(State.screen_top1.line, State.screen_top1.pos, State.cursor1.line, State.cursor1.pos)

  − assert(false)
  [2.339]

  [2.453]
  + State.cursor1 = {line=State.screen_top1.line, pos=State.screen_top1.pos}