panel: Enable dynamic switching to and from gnome panel mode