resultId property

int resultId
final

The result of a dictionary search to be added to history.

Implementation

final int resultId;