Thu, 12 Jan 2012 17:04:22 +0100 laurent Fix bug in refreshing menu after tab selection changed