 Evan Hahn
|
b80059e21f
|
Fix zsh history widget when sh_glob option is on (#4714)
Fixes #4712.
The CTRL-R history widget failed in zsh when [zsh's `sh_glob` option][0]
was on. This fixes that by disabling the option locally, like we disable
other options.
[0]: https://zsh.sourceforge.io/Doc/Release/Options.html#:~:text=SH%5FGLOB,ksh%2E
|
2026-03-13 09:21:04 +09:00 |
|