Commit ec803d53 authored by Committed by Jens Georg
map: Cache position markers while on same page
While on the same page, cache all created DataViewPositionMarkers for quick retrieval when switching between a selection and no selection. The cache is emptied when the page is switched.
Showing with 16 additions and 10 deletions