Real time change

[hamzazar]

How can we regenerate the map in real time when the html changes?

[goldenapples]

Good question. Currently you'd have to remove the map_col element, and reinitialize by calling $.minimap() again. It would be good to expose a refresh method. I'll open that as an issue.