Changed creation of CheckboxAdornments according to tree(_d).js
Authored by: keess 2004-01-15
Parent: [r941]
Child: [r943]