> It seemed to me that it could get pretty confusing pretty fast to
> use radio groups here. You'd have to collect all of them and then
> sort them out into groups after you've read the entire menu resource
> file.

It also breaks when you want a group to show up in two places in the
menu tree, or if the menu doesn't cover all the cases (like grids,
which can be set with ":")

> > Can we call it "tip" or "tooltip"?
> 
> sure.  how about "tip"?

Sounds OK to me.


_______________________________________________
geda-dev mailing list
[email protected]
http://www.seul.org/cgi-bin/mailman/listinfo/geda-dev

Reply via email to