>>>>> "Dekel" == Dekel Tsur <[EMAIL PROTECTED]> writes:
Dekel> I've already suggested this idea (however, I think that the ToC
Dekel> should be "flat" if there is small enough).
Yes, there may be some threshold (the same would hold for submenus).
Currently, the menu for the UserGuide is not usable.
Dekel> I put it on the left side in order to leave enough room for
Dekel> long lines in the menu. However, this can be changed easily.
Yes. And then what about the TOC popup? Should it be removed?
>> - Now that labels are editable, there should maybe be something
>> like 'label:' in their box, so that they are really different from
>> refs. Of course, a small icon would be nice, but it might be a bit
>> difficult.
Dekel> In references, you have 'Ref: (or 'Page:') in their boxes, so
Dekel> they are distinguishable from labels.
Another solution would be to give them a different color. What do the
others think?
JMarc
