public selected_t(jsbool b) { this.selected = b; }
public disabled_t(jsbool b) { this.disabled = b; }
public leaf_t(jsbool b) { this.leaf = b; }
public opened_t(jsbool b) { this.opened = b; }