Skip to content

Proper Find Replace Search#72

Merged
PaulJonasJost merged 3 commits intodevelopfrom
find_replace_search
Mar 25, 2025
Merged

Proper Find Replace Search#72
PaulJonasJost merged 3 commits intodevelopfrom
find_replace_search

Conversation

@PaulJonasJost
Copy link
Copy Markdown
Collaborator

Creates find/replace bar. Can be filtered on the tabs. Can be clicked through and replaced. Can all be replaced.

Discussionpoints:

  1. Deactivated the stylesheet for now, as i find this nicer and the only thing i really care about are slightly colored tables. Your opinion on this? Or should there be an option to have completely blank tables?
  2. Currently we just change the color of the text. Happy for suggestions on other highlighting
  3. The tables are when in search all not focused, thus selected cells just are greyed out, any suggestions on improving this?

@PaulJonasJost PaulJonasJost requested a review from fbergmann March 14, 2025 19:23
@PaulJonasJost PaulJonasJost merged commit 243cdef into develop Mar 25, 2025
@PaulJonasJost PaulJonasJost deleted the find_replace_search branch March 25, 2025 15:13
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

1 participant