fixing #3101 (refresh tree navigator after switching user)