Neel Gupta

That works! How did you find that? and how can someone find it for other config settings as well 👍

That would be amazing 🔥 Thank you for such prompt responses, especially during a weekend. I appreciate you taking out the time here to fix silly problems. Would definitely recommend...

"better-pyright" as a safe option?

What are you trying to accomplish, exactly?

I don't have a quantitative way of measuring this unfortunately - but its highly visible. I think the problem is that somehow, the scrolling happens in discrete chunks rather than...

Just updated - that is *so* much better. Thank you so much! 🔥