Merge pull request #1144 from zed-industries/hover-fixes

Hover fixes. Addresses delay issues with current hover implementation, shrinks the hover popover, and tweaks the display of markdown data
699f14ff73Keith Simmons committed on 6/10/2022, 12:18:26 AM· committed by GitHubparents87ba68ee21d1b1
12 files changedLine totals unavailable