8 Jun
2014
8 Jun
'14
8:15 p.m.
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(a)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(a)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