Hello oz users,
I'd like to know if is possible to customize the
explorer tool, i.e paint some nodes with different
colors (not the default ones) depending of the choiced
varialbe, modify node's tooltips etc.
Thanks in advance,
Albert
__________________________________
Do you Yahoo!?
The New Yahoo! Search - Faster. Easier. Bingo.
http://search.yahoo.com
-
Please send submissions to users@mozart-oz.org
and administriva mail to users-request@mozart-oz.org.
The Mozart Oz web site is at http://www.mozart-oz.org/.
Please send bug reports to bugs@mozart-oz.org.