3 ms·
Yeah, github.com has started adding rich hover-overs and click-throughs on their web interface for some languages I'm not familiar with those other tools, but
by brundolf 5y ago
Yeah, github.com has started adding rich hover-overs and click-throughs on their web interface for some languages
I'm not familiar with those other tools, but it's not hard to imagine they or similar tools could one day add rich language integration using language servers, tree-sitter, or something else