diff options
| author | Ulf Magnusson <ulfalizer@gmail.com> | 2018-05-20 11:45:21 +0200 |
|---|---|---|
| committer | Ulf Magnusson <ulfalizer@gmail.com> | 2018-05-20 12:02:45 +0200 |
| commit | a55a06c47da413f78ef7b4ae480d2c3172763f60 (patch) | |
| tree | 5efcbeb7c60a7df64f9905280bc303e8b13fa4f4 /examples | |
| parent | 73fea2bc6f817523fdfcfc9cecdc3aaa5e9f2494 (diff) | |
menuconfig: Use lower() instead of re.IGNORECASE in search
This gets rid of some slight input jerkiness while inputting e.g.
'.*debug' on my machine (though the '.*' is redundant there), due to
faster matching. The '.*' probably has bad interactions with
re.search(), which matches anywhere in the string.
A plain "debug" matches about 70% faster, though it's fast enough to
feel instant anyway.
Diffstat (limited to 'examples')
0 files changed, 0 insertions, 0 deletions