Jean-Marc Lasgouttes 819cf53c22 Handle branches with space in their name
1/ Handle space in color name in set-color (with quoting)

2/ read properly branch inset when name has a space

Fixes bug #11108.
2018-09-08 13:07:07 +02:00
..
2017-07-03 13:46:30 -04:00
2017-07-03 13:46:30 -04:00
2018-07-19 22:16:40 +02:00
2017-10-25 12:16:16 +02:00