bugfix #3 in search UI

akkartik

Oct 29, 2024, 11:28 PM

6PRGXS6XLC7P2EASPUU64OHJUIMEDWAWRLFB265KSFPJIMTKQ6WAC

Dependencies

• [2] 4FTOQOPZ bugfix #2 in search UI
• [3] AMOPICKV bugfix: check after cursor on same line when searching upwards
• [4] T6A5SZGB bugfix: restart search on backspace
• [5] O7YTBRQY bugfix: restart search on backspace
• [6] MSOQI3A5 bugfix: check before cursor on same line
• [7] 7PZ4CQFV search: transparently handle drawings everywhere
• [8] 2L5MEZV3 experiment: new edit namespace
• [9] 5ZA3BRNY add state arg to a few functions
• [10] LF7BWEG4 group all editor globals
• [11] EETIR4GX bugfix: skip over drawings when searching
• [12] LXTTOB33 extract a couple of files
• [13] LNUHQOGH start passing in Editor_state explicitly

Change contents

• replacement in search.lua at line 20
  [3.39]→[2.1252:1285](∅→∅)
  − assert(#State.search_term > 0)
  [3.39]

  [3.721]
  + if #State.search_term == 0 then return end
• replacement in search.lua at line 75
  [3.1072]→[2.1286:1319](∅→∅)
  − assert(#State.search_term > 0)
  [3.1072]

  [3.761]
  + if #State.search_term == 0 then return end
• replacement in edit.lua at line 429
  [3.11621]→[2.1334:1490](∅→∅)
  − if #State.search_term > 0 then

  − edit.put_cursor_on_next_text_loc_wrapping_around_if_necessary(State)

  − Text.search_next(State)

  − end
  [3.11621]

  [3.11680]
  + edit.put_cursor_on_next_text_loc_wrapping_around_if_necessary(State)

  + Text.search_next(State)
• replacement in edit.lua at line 432
  [3.11710]→[2.1491:1574](∅→∅)
  − if #State.search_term > 0 then

  − Text.search_previous(State)

  − end
  [3.11710]

  [3.11739]
  + Text.search_previous(State)