Proxy tips as well as errors #10
Description
It looks like cursorless now shows helpful tips in addition to errors; let's make sure we show those in the editor as well.
{{ message }}
It looks like cursorless now shows helpful tips in addition to errors; let's make sure we show those in the editor as well.