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?
You should try to reset gnome-panel configuration with :
to relaunch them automatically