I just replaced gnome-panel with Avant-Window-Navigator, but was unhappy with the result. I tried to restore gnome-panel by using Ubuntu Tweak, and Configuration Editor. But neither of them would recognize the value gnome-panel. How can I fix this?