diff options
author | Stefan Monnier <[email protected]> | 2013-11-05 23:11:04 -0500 |
---|---|---|
committer | Stefan Monnier <[email protected]> | 2013-11-05 23:11:04 -0500 |
commit | 94ae2ad44cfd711c836e0fbd86b9e133724482d5 (patch) | |
tree | a7ecfb60f2bd55f60bf5c5fe3d5e49c12e846ac4 /src/minibuf.c | |
parent | feca4e2db9d9dd539b09da9c19f49865952b184d (diff) |
*.[chm]: Number every assignment to windows_or_buffers_changed.
Diffstat (limited to 'src/minibuf.c')
-rw-r--r-- | src/minibuf.c | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/src/minibuf.c b/src/minibuf.c index cc6f234f7d..7ca4dae089 100644 --- a/src/minibuf.c +++ b/src/minibuf.c @@ -866,7 +866,7 @@ read_minibuf_unwind (void) resize_mini_window (XWINDOW (window), 0); /* Enforce full redisplay. FIXME: make it more selective. */ - windows_or_buffers_changed++; + windows_or_buffers_changed = 22; /* In case the previous minibuffer displayed in this miniwindow is dead, we may keep displaying this buffer (tho it's inactive), so reset it, |