Add Search & Replace to Source widget [CUSTOM]#258

Merged

nicoe merged 3 commits intocoopengo:masterfrom nicoe:PCLAS-187_search_replace_sourcewidget

Jun 20, 2023

+220-1

Commits on Jun 7, 2023

Add Search & Replace to Source widget [CUSTOM]
nicoe
committed

Commits on Jun 8, 2023

Use Ctrl-F instead of F5
nicoe
committed

Commits on Jun 20, 2023

Add Replace / Replace All buttons
nicoe
committed