TabArray.resize

void resize(int newSize) nothrow

Resizes a tab array.

You must subsequently initialize any tabs that were added as a result of growing the array.

Parameters

newSizenew size of the array