diff man/mark.texi @ 38546:0fe1911b4f11

(resize_mini_window): Don't resize while redisplaying.
author Gerd Moellmann <gerd@gnu.org>
date Wed, 25 Jul 2001 12:03:59 +0000
parents 1518ad710658
children 4d3fd773cd30
line wrap: on
line diff