akkartik/pensieve.love - Change WGZIOTZBUPMIL3I2DWGIAZ5HGHD24BCQAR4QXC7X2PR74IEBWJ7AC

jettison a heretofore important assertion

I've relied on it a lot for lines.love, but it goes against the model of pensieve.love, where the cursor can in fact go off screen.

Created by Kartik K. Agaram on July 23, 2022

WGZIOTZBUPMIL3I2DWGIAZ5HGHD24BCQAR4QXC7X2PR74IEBWJ7AC

Dependencies

[2] CZY3IDERLI6MTKKKMX6QLLERSPM2ZJ57NGQRKILJBM7S5PYPQ3XAC
[3] TGHAJBESCIEGWUE2D3FGLNOIAYT4D2IRGZKRXRMTUFW7QZETC7OAC
[4] 2L5MEZV344TOZLVY3432RHJFIRVXFD6O3GWLL5O4CV66BGAFTURQC

In channels

main

Change contents

Deletion in edit.lua at line 125 [4.413]

B:BD[3.1895] → [2.2698:3014]

  if State.show_cursor then
    if not Text.le1(State.screen_top1, State.cursor1) then
      print('assertion failure: cursor is above screen top')
      print('screen top', State.screen_top1.line, State.screen_top1.pos)
      print('cursor', State.cursor1.line, State.cursor1.pos)
      assert(false)
    end
  end