adding translation to CodeNavigator widget