navigations property

int navigations
getter/setter pair

Implementation

int navigations = 0;