comparison make-dist @ 13498:c10046894834

(set_menu_bar_lines): Record the fact that the window configuration changes. (set_menu_bar_lines_1): Mark the window as modified.
author Richard M. Stallman <rms@gnu.org>
date Sat, 11 Nov 1995 00:49:45 +0000
parents 2e30fc2cbae8
children 34c4ee840e09
comparison
equal deleted inserted replaced
13497:156eb7abebbd 13498:c10046894834