On Mon, Nov 24, 2003 at 11:29:37AM -0600, Lars Clausen wrote:
> Is the dot supposed to be as big as the arrow behind it? It looks really
Yes.
> funny. Also, you shouldn't put new arrows into the middle of the list, as
Yes, funny indeed. Look in ITU rec. Z.120 for more.
> that will mess with the other arrows saved in diagrams. We ought to go to
Oops, I didn't notice this. Shall I create a new patch?
> saving the name of the arrow rather than a number. But then, we have more
> arrows than are realistic to pick from a menu.
The menu should be tabular shaped, not a list. But I don't
know how to realise this in GTK+.
Cheers,
--
W. Borgert <debacle@debian.org>, Linux User #7456 http://counter.li.org/