Nathan Sobo
Nathan Sobo
We have @slightknack working on allowing users to bring their own language servers.
I’d love to improve this. Anyone @ me if you want to pair on it. Why do we need a restart? On Fri, Feb 2, 2024 at 8:16 PM Igor...
Any thoughts on what to do with the "select word" behavior in this case? I guess triple click could be select word and quadruple click could be select line. Or...
@iamnbutler What are your thoughts on coloring lifetimes in our themes? It would indeed be nice to make them stand out a bit more like the examples people are showing.
If this is helpful, happy to add it to remove the annoyance of a button that someone would never want to click. Thanks!
Thanks so much for getting this started! Very helpful :heart:
If this is something you'd like to do in your own fork, I totally understand. It's not something we're interested in maintaining on our side, as we see AI as...