allocator property

IdAllocator allocator

Mints ids for this editing session. Continuing a loaded document uses a new allocator with a fresh session salt.

Implementation

final IdAllocator allocator;