Sven Guckes wrote:

> workaround: quit  and restart.  in which  case you  do not
> really need to update anything, right? ;-)

...or using Nicolas' patch. It works like a charm.

Rob.
-- 
Nöö, vpu jne wn nhpu Mviv. :-)

Reply via email to