On Fri, May 13, 2005 at 11:15:02PM +0300, Martin Vermeer wrote: > @@ -1229,7 +1221,6 @@ > // real_current_font.number can change so we need to > // update the minibuffer > if (old_font != real_current_font) > - bv->owner()->view_state_changed(); > bv->updateScrollbar(); > break; > } > > and Andre deleted lots of other bv->owner()->view_state_changed(); > in that same patch. > > I suspect the if should go. Andre should know.
Aehm... yes. Drop the if. Andre'