[react-components/dashboard] upgrade react-leaflet and fix map overlays#553

Closed

vallq wants to merge 51 commits intomainfrom fix/map-overlays

+2,020-1,700

Commits on Oct 14, 2021

update with tooltip and truncating when word is too long
vallq
committed

Commits on Oct 19, 2021

Commits on Oct 22, 2021

update to use theme spacing
vallq
committed

Commits on Oct 26, 2021

Commits on Nov 5, 2021

(Feat) zooming in of infrastructure components (#540 )
ChawinTan
authored

Commits on Nov 10, 2021

merge branch 'main' of https://github.com/open-rmf/rmf-web into feature/infrastructure-tab
vallq
committed

Commits on Nov 11, 2021

resolve type errors
vallq
committed

Commits on Nov 17, 2021

update themes provider
vallq
committed

Commits on Nov 22, 2021

merge branch 'main' of https://github.com/open-rmf/rmf-web into feature/infrastructure-tab
vallq
committed

Commits on Nov 25, 2021

Commits on Dec 2, 2021

Commits on Dec 7, 2021

Commits on Dec 9, 2021