The document-wide in-scrollbar thumbnail / minimap has been around for a while. Most people are familiar with it from RockScroll (2008) or Sublime Text (2012) or VSCode (2015).

github.com/coveragepy/coverage has a slick implementation (scroll_markers) contributed by Dmitry Shishov in 2016. Super useful when jumping between several places reviewing coverage misses, and super subtle!

❤️ @nedbatNed Batchelder

0

If you have a fediverse account, you can quote this note from your own instance. Search https://ellieayla.net/users/ellie/statuses/116132435011593149 on your instance and quote it. (Note that quoting is not supported in Mastodon.)