| | |
| | | 'map.model.editor': 'Editor Pattern', |
| | | 'map.save': 'Save Map', |
| | | 'map.load': 'Load Map', |
| | | 'map.clear': 'Clear Map', |
| | | '': '', |
| | | '': '', |
| | | '': '', |
| | | '': '', |
| | | 'map.sensor.type.shelf': 'Shelf', |
| | | 'map.sensor.type.agv': 'Agv', |
| | | 'map.sensor.type.point': 'Point', |
| | | '': '', |
| | | '': '', |
| | | '': '', |
| | | 'map.drawer.json': 'JSON', |
| | | '': '', |
| | | '': '', |
| | | '': '', |
| | | '': '', |
| | | '': '', |
| | |
| | | '': '', |
| | | '': '', |
| | | '': '', |
| | | 'map.settings.point.horizontal': 'Horizontal', |
| | | 'map.settings.point.vertical': 'Vertical', |
| | | '': '', |
| | | '': '', |
| | | '': '', |
| | | '': '', |
| | | '': '', |
| | | '': '', |
| | | 'map.settings.sub.copy.reverse': 'Reverse', |