3 ms·Does that mean doing `Ctrl + R` can be colorized now just like how zsh does it ?by psibi 10y agoDoes that mean doing `Ctrl + R` can be colorized now just like how zsh does it ?