isNavigatorInitialized top-level property

int isNavigatorInitialized
getter/setter pair

Implementation

int isNavigatorInitialized = 0;