Thanks to visit codestin.com
Credit goes to github.com

Additional Search options in menu#1276

Merged

danirabbit merged 15 commits intomasterfrom

search-options-menu

Mar 23, 2023

Commits on Feb 25, 2023

Create popover with existing options (ui)
Jeremy Wootten
committed
Connect switch buttons
Jeremy Wootten
committed

Commits on Feb 26, 2023

Better variable names; add whole word search button
Jeremy Wootten
committed
Connect whole_word_search_button; inline single use function
Jeremy Wootten
committed
Add separate mixed-case mode for case-sensitivesearch
Jeremy Wootten
committed

Commits on Mar 16, 2023

Merge branch 'master' into search-options-menu
Jeremy Wootten
committed
Symmetrical margins for results label
Jeremy Wootten
committed
Fix #1175
Jeremy Wootten
committed

Commits on Mar 17, 2023

Merge branch 'master' into search-options-menu
Jeremy Wootten
authored
Update metainfo
Jeremy Wootten
committed

Commits on Mar 18, 2023

Merge branch 'master' into search-options-menu
Jeremy Wootten
authored

Commits on Mar 19, 2023

Merge branch 'master' into search-options-menu
Jeremy Wootten
authored

Commits on Mar 23, 2023