There is the Minimap community package which is one of the most installed ones. https://web.pulsar-edit.dev/packages/minimap https://web.pulsar-edit.dev/package

There is the Minimap community package which is one of the most installed ones. https://web.pulsar-edit.dev/packages/minimap https://web.pulsar-edit.dev/packages/minimap