diff rust/rhg/src/ui.rs @ 51602:68929cf3c0c6

match: avoid rust fast path if the matcher was tampered with Otherwise the fast path does not respect the modifications made by the extension (concretely largefiles, but other extensions can start using that too)
author Arseniy Alekseyev <aalekseyev@janestreet.com>
date Tue, 09 Apr 2024 11:12:24 +0100
parents 532e74ad3ff6
children
line wrap: on
line diff