|
|
06106f5de8
|
remove 'searchString' field from app_type, because the same role is fulfilled by new 'dfa' field
|
2025-10-08 05:40:29 +01:00 |
|
|
|
fd8385fa81
|
add dfa field to app_type so that we don't rebuild DFA each time we want to execute a search again (like after deleting)
|
2025-10-08 05:02:15 +01:00 |
|
|
|
9b34014af1
|
a few bug fixes to NORMAL_SEARCH_MODE: the main one is that we were passing the general searchString to the resize function before, and we were drawing the wrong string because of that; another bug fix is that, on resizing, we have to update the mode to contain the recalculated searchScrollColumn
|
2025-09-14 10:28:42 +01:00 |
|
|
|
e85ac5e806
|
add visualScrollColumn' field to app type, which will record the scroll position for us
|
2025-09-11 15:26:30 +01:00 |
|
|
|
1296ce367b
|
handle resize event and concurrent (permanent and full) search result in NORMAL_SEARCH_MODE
|
2025-09-01 12:52:26 +01:00 |
|
|
|
561e45c556
|
extract reusable function which can be used when a search string is changed, in NORMAL_SEARCH_MODE
|
2025-09-01 02:18:23 +01:00 |
|
|
|
c95ae5eae3
|
add functionality to return from NORMAL_SEARCH_MODE back to NORMAL_MODE, saving new search string and new search list
|
2025-08-31 07:40:31 +01:00 |
|
