/* @option user-selected navigation bar function */