Closed nbfalcon closed 3 years ago
This allows company-box candidates to be selected using the mouse.
company-box
See company-mode/company-mode#1045.
My company upstream PR was merged.
company
Thank you @nbfalcon
This allows
company-box
candidates to be selected using the mouse.See company-mode/company-mode#1045.