bugfix: restart search on backspace

akkartik

Jun 23, 2024, 5:38 PM

T6A5SZGBVFSFHOJSONKTHL4ZUKZLGSMM3OW7S4JDXDAW26PKHKIQC

Dependencies

• [2] LNUHQOGH start passing in Editor_state explicitly
• [*] 2L5MEZV3 experiment: new edit namespace

Change contents

• edit in edit.lua at line 406
  [2.7460]

  [4.11589]
  + State.cursor = deepcopy(State.search_backup.cursor)

  + State.screen_top = deepcopy(State.search_backup.screen_top)

  + Text.search_next(State)