Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

:set ignorecase and :set ic ignored #147

Open
clach04 opened this issue Mar 11, 2023 · 1 comment
Open

:set ignorecase and :set ic ignored #147

clach04 opened this issue Mar 11, 2023 · 1 comment

Comments

@clach04
Copy link

clach04 commented Mar 11, 2023

I just pulled down a checkout of e8a2d69 (Fri Dec 25 06:44:41 2020 +1100)

And ignore case is not working for me with a search. I can see there is code implemented for this

@set_cmd('ignorecase')
(not had chance to debug yet), anyone else seeing this?

Version displayed: version 3.0.3, prompt_toolkit 3.0.38

Seen with:

  • Python 3.8.10 - linux
  • Python 3.10 - windows

Not seen working anywhere yet.

@clach04
Copy link
Author

clach04 commented Mar 11, 2023

BTW recently found this and love the IO backend implementation, I think I can use this with one of my projects which I'm excited about :-)

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

No branches or pull requests

1 participant