index

int index

final

The history index to jump to.

Implementation

final int index;