Skip to content
This repository has been archived by the owner on Sep 6, 2021. It is now read-only.

Implemented whole word search #11624

Closed
wants to merge 2 commits into from
Closed

Conversation

ficristo
Copy link
Collaborator

Written on top of #11614
Should fix #11621
If someone could provide me the icons (or create them post merge) I think this patch is ready.

@ficristo
Copy link
Collaborator Author

See #9526 too.

@ficristo
Copy link
Collaborator Author

Closing as duplicate.

@ficristo ficristo closed this Aug 28, 2015
@ficristo ficristo deleted the whole-word branch October 15, 2015 19:06
@abose
Copy link
Contributor

abose commented Feb 1, 2016

@ficristo I prefer this to #9526

@ficristo
Copy link
Collaborator Author

ficristo commented Feb 1, 2016

@abose This PR still miss the icon and probably some tests.
Plus after all the effort that @marcelgerber has put in it I'm not really keen to revive this PR.

Sign up for free to subscribe to this conversation on GitHub. Already have an account? Sign in.
Labels
None yet
Projects
None yet
Development

Successfully merging this pull request may close these issues.

Wish: "whole words search"
2 participants