function chingning_movableWidget( _parent_ ) { Extends( tabWidget, _parent_ ); this.id = chingning_random.genID(); this.div = document.createElement("div"); this.div.id = "feature_"+this.id; this.parent.appendChild( this.div ); }