TabArray.resize

Resizes a tab array.

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

class TabArray
void
resize
()

Parameters

newSize int

new size of the array