(redisplay_window): If mini window's buffer is not
commitc0bcce6f0757c6230cffe0cd00ffcb4ac0a937a9
authorJohn Paul Wallington <jpw@pobox.com>
Mon, 24 Mar 2003 03:33:53 +0000 (24 03:33 +0000)
committerJohn Paul Wallington <jpw@pobox.com>
Mon, 24 Mar 2003 03:33:53 +0000 (24 03:33 +0000)
treeea28c6f3ea1a2ceada7e730645242b389f62610b
parent9b7826f4ab0eaa276d29d056f15dc438c9818031
(redisplay_window): If mini window's buffer is not
empty, then redisplay it like other windows.
src/ChangeLog
src/xdisp.c