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'

Reply via email to