Scrolls the list so that the option at topIndex is the first one visible, and regenerates the widgets' appearances.
public void SetTopIndex(int topIndex)
ISO 32000-2 §12.7.5.4, Table 234 (TI, stored only when not 0, its default). The selection is unchanged.