4 ms·I switched to menu completion and the tab completion isn’t as painful with all the choices.by vips7L 2y agoI switched to menu completion and the tab completion isn’t as painful with all the choices.