bugfix #3, attempt #2 in search UI

akkartik

Oct 30, 2024, 12:48 AM

OXIU3SJ2AIL456GBALP63LMDMUFVXJ5HIAVLO3OHXIAYXYJAZ2TAC

Dependencies

• [2] 6PRGXS6X bugfix #3 in search UI
• [3] T6A5SZGB bugfix: restart search on backspace
• [4] O7YTBRQY bugfix: restart search on backspace
• [5] 4FTOQOPZ bugfix #2 in search UI
• [6] LNUHQOGH start passing in Editor_state explicitly
• [7] LF7BWEG4 group all editor globals
• [8] KKMFQDR4 editing source code from within the app
• [9] 2L5MEZV3 experiment: new edit namespace

Change contents

• replacement in source_edit.lua at line 440
  [3.159117]→[3.1165:1248](∅→∅)
  − if #State.search_term > 0 then

  − Text.search_previous(State)

  − end
  [3.159117]

  [3.159151]
  + Text.search_previous(State)
• replacement in edit.lua at line 429
  [3.11621]→[2.92:197](∅→∅)
  − edit.put_cursor_on_next_text_loc_wrapping_around_if_necessary(State)

  − Text.search_next(State)
  [3.11621]

  [3.11680]
  + if #State.search_term > 0 then

  + edit.put_cursor_on_next_text_loc_wrapping_around_if_necessary(State)

  + Text.search_next(State)

  + end