public void refresh()
{
if (items_.count == 0)
{
lv_.ClearObjects();
}
// I want the item count to be constant until the next refresh - otherwise, we could end up with more items (for instance, new lines added)
// the client code always asks for model_.item_count - i don't want to go out of sync with what the listview thinks
// (and the list view thinks what it was last told at UpdateVirtualListSize())
item_count_ = item_count_at_this_time;
lv_.UpdateVirtualListSize();
}
