PgTabArray.resize

Resizes a tab array.

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

class PgTabArray
void
resize
()

Parameters

newSize int

new size of the array

Meta