Fix crash in update_overall_nav_history_menu()
Add option full_path_in_title. Fixes #10