(Fset_buffer_modified_p): Set update_mode_lines
authorGerd Moellmann <gerd@gnu.org>
Mon, 20 Mar 2000 12:24:57 +0000 (12:24 +0000)
committerGerd Moellmann <gerd@gnu.org>
Mon, 20 Mar 2000 12:24:57 +0000 (12:24 +0000)
commit8ec01c70fa334531d0c0f634433f3b8bf1ccb450
tree1ecd3e772b9b1caf42ad3dce608a86545d0f1bd3
parent15e26c76c968d85f2f27ea899d3cadc28a1e10c6
(Fset_buffer_modified_p): Set update_mode_lines
only if buffer is displayed in some window.
src/buffer.c