moveit_task_constructor/visualization/motion_planning_tasks/src/icons
Robert Haschke 1f7184b755 ui tuning
- TabWidget for Task Tree, Settings, ...
- adjust width of columns in task tree
- right-align numbers
- some icons
2017-11-24 00:41:20 +01:00
..
add.png ui tuning 2017-11-24 00:41:20 +01:00
failed.png ui tuning 2017-11-24 00:41:20 +01:00
new-stage.png ui tuning 2017-11-24 00:41:20 +01:00
settings.png ui tuning 2017-11-24 00:41:20 +01:00
success.png ui tuning 2017-11-24 00:41:20 +01:00
tasks.png ui tuning 2017-11-24 00:41:20 +01:00