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).#coverage #python
@ellie@ellieayla.net