Merge requests · robbie / homer_map_manager

Dev/additional feedback

!18 · created Jan 16, 2024 by Daniel Müller
- Merged
updated Jan 16, 2024
Dev/more roi functionality

!17 · created Nov 08, 2023 by Daniel Müller
- Merged
updated Nov 08, 2023
Dev/clear map area srv

!16 · created Aug 21, 2023 by Daniel Müller
- Merged
updated Aug 21, 2023
WIP: Fix layer handling, crashes sometimes

!15 · created Nov 16, 2022 by Daniel Müller
- Merged
updated Nov 16, 2022
Improve ROI coloring in RVIZ 0 of 1 checklist item completed

!14 · created Jun 05, 2021 by Daniel Müller
- Merged
updated Jun 08, 2021
Fixes interfaces.py

!13 · created Apr 11, 2021 by Janine Buchholz
updated Apr 14, 2021
Added missing timeout params in interfaces.py

!12 · created Mar 02, 2021 by Daniel Müller
- Merged
updated Apr 10, 2021
C++ Library, fix and renaming of python functions, large python documentation cleanup

!11 · created Nov 06, 2020 by Robin Bartsch
- Merged
updated Nov 09, 2020
R34 object detection map layer

!10 · created Feb 25, 2020 by Ghost User
- Merged
updated Mar 21, 2020
Map Manager Interfaces Update

!9 · created Feb 13, 2020 by Ghost User
- Merged
- 3
updated Feb 13, 2020
Updates to POI Markers

!8 · created Feb 10, 2020 by Ghost User
- Merged
updated Feb 10, 2020
R34 Jona: Improvements ROI & POI Visualization

!7 · created Nov 22, 2019 by Ghost User
- Merged
- 9
updated Dec 05, 2019
Multiple floors

!6 · created Aug 08, 2019 by Niklas Yann Wettengel
- Merged
updated Aug 08, 2019
fixes

!5 · created Aug 07, 2019 by Niklas Yann Wettengel
- Merged
updated Aug 07, 2019
Fixed endless loop

!4 · created Apr 16, 2019 by Daniel Müller
- Merged
updated Apr 16, 2019
Bug fix for crash when saving empty map file

!3 · created Mar 05, 2019 by Niko Schmidt
bug 🐛
- Merged
- 5
updated Mar 12, 2019
Roi visualization

!2 · created Feb 25, 2019 by Niko Schmidt
- Merged
- 1
updated Feb 26, 2019
Added new topic for loading map finished

!1 · created Feb 14, 2019 by Niko Schmidt
feature_request
- Merged
- 1
- 1
updated Feb 14, 2019