Nice plugin. Thank you.
Found one issue with files using tab characters for indentation. Indentation in the mini map is way to large. It looks as if the indentation is the same size as it would be for the full-sized text rather than what is should be for tiny text in the mini map.
Nice plugin. Thank you. Found one issue with files using tab characters for indentation. Indentation in the mini map is way to large. It looks as if the indentation is the same size as it would be for the full-sized text rather than what is should be for tiny text in the mini map.