Kill gnome-panel if it starts using too much memory