/*
 * Copyright (c) 2002-2007 Julien WILK (http://LDDb.com/)
 * Not to be modified/reused without authorization.
 */

function cat_refresh(prev_cat,new_cat)
{
  new Effect.Fade(current_cat,{duration:0.1,queue:'end'});
  current_cat = new_cat;
  new Effect.Appear(current_cat,{duration:0.1,queue:'end'});
}