(set_menu_bar_lines): Record the fact that the window configuration changes.