On 25 Nov 2003, W. Borgert wrote:
> 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?
Yes, please (don't seem to have seen it yet).
>> 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+.
Actually, we need to either make submenus somehow (based on what? Dunno.),
have arrows be downloadable (like shapes should be), have something like
the Fonts menu where only the arrows you use (and a few standard arrows)
are included, or some other handling of many arrows. We can't just keep
adding.
We also need to have a better representation in the save files. Just
pointing to a number in a list is incredibly fragile to exactly the thing
you did here. They should be logical names.
-Lars
--
Lars Clausen (http://shasta.cs.uiuc.edu/~lrclause)| HĂ„rdgrim of Numenor
"I do not agree with a word that you say, but I |----------------------------
will defend to the death your right to say it." | Where are we going, and
--Evelyn Beatrice Hall paraphrasing Voltaire | what's with the handbasket?