null = this.getRowCount()) this.selectedIndex = this.getRowCount() - 1; else this.selectedIndex = selectedIndex; // XXX: downloadmanager needs the following line, else we scroll to // the middle on inital load. this.ensureSelectedElementIsVisible(); } ]]> 0 = 0) { // only set if we get an item returned var item = this.getItemAtIndex(val); if (item) this.selectedItem = item; } ]]> null return this._selectedItem; y.value) && (aItem.boxObject.y < y.value + this.scrollBoxObject.height); ]]> = 0 && index < children.length) { var border2 = children[index].boxObject.y; if (aDirection == -1) border2 += children[index].boxObject.height; if ((border2 - border) * aDirection > height) break; index += aDirection; } index -= aDirection; if (this.selectedItem != children[index]) { this.selectedItem = children[index]; return true; } // Move by at least one item if the view port is too small if (aDirection == -1) return this.goUp(); return this.goDown(); ]]> 0) document.commandDispatcher.updateCommands("richlistbox-select"); } ]]>