# HG changeset patch # User Gerd Moellmann # Date 935522693 0 # Node ID df0083768b79cfe01cfdaa894b4f4c5258afe5ef # Parent f431cf81b4a3e8feb663578a3edaca16552726f7 (Fset_window_point): Reset Vresize_mini_config. (Fset_window_start): Ditto. (set_window_buffer): Ditto. diff -r f431cf81b4a3 -r df0083768b79 src/window.c --- a/src/window.c Tue Aug 24 19:24:50 1999 +0000 +++ b/src/window.c Tue Aug 24 19:24:53 1999 +0000 @@ -744,6 +744,14 @@ else set_marker_restricted (w->pointm, pos, w->buffer); + /* If mini-window is resized, make it not restore its saved window + configuration. This function being called indicates that the + current window configuration is being changed. These changes + would be undone if resize_mini_window would restore its saved + configuration. */ + if (resize_mini_frame == XFRAME (w->frame)) + Vresize_mini_config = Qnil; + return pos; } @@ -767,6 +775,15 @@ XSETFASTINT (w->last_overlay_modified, 0); if (!EQ (window, selected_window)) windows_or_buffers_changed++; + + /* If mini-window is resized, make it not restore its saved window + configuration. This function being called indicates that the + current window configuration is being changed. These changes + would be undone if resize_mini_window would restore its saved + configuration. */ + if (resize_mini_frame == XFRAME (w->frame)) + Vresize_mini_config = Qnil; + return pos; } @@ -2339,6 +2356,14 @@ w->buffer = buffer; + /* If mini-window is resized, make it not restore its saved window + configuration. This function being called indicates that the + current window configuration is being changed. These changes + would be undone if resize_mini_window would restore its saved + configuration. */ + if (resize_mini_frame == XFRAME (w->frame)) + Vresize_mini_config = Qnil; + if (EQ (window, selected_window)) b->last_selected_window = window;