Excellent, it works:
a line width: 2. a head width: 2.
Thanks a lot!
On Jun 8, 2014, at 3:42 AM, Anne Etien anne.etien@univ-lille1.fr wrote:
An arrow is now a line and a head. So you need to specify the width of what you want to change. If I remind well, it should be something like (with a being an arrow) a line width: or a head width:
Anne Le 8 juin 2014 à 02:43, Johan Fabry jfabry@dcc.uchile.cl a écrit :
Sadly, now the arrows don’t understand width: anymore. How can I set the width of an arrow?
---> Save our in-boxes! http://emailcharter.org <---
Johan Fabry - http://pleiad.cl/~jfabry PLEIAD lab - Computer Science Department (DCC) - University of Chile