(set_menu_bar_lines): Record the fact that the window configuration changes.
commit57aeea1e474552bb34838242334cea7d953ddda7
authorRichard M. Stallman <rms@gnu.org>
Sat, 11 Nov 1995 00:49:45 +0000 (11 00:49 +0000)
committerRichard M. Stallman <rms@gnu.org>
Sat, 11 Nov 1995 00:49:45 +0000 (11 00:49 +0000)
tree9a91a56f98fcb04df78b5eb69b6448ea07c0e8fe
parent4147a3ccb54182987b4a4b75fef936eb11821e79
(set_menu_bar_lines): Record the fact that the window configuration changes.
(set_menu_bar_lines_1): Mark the window as modified.
src/frame.c