If non-horizontal panels really aren't going to be supported, they should be dropped from the configuration options of gnome-panel.
If non-horizontal panels really aren't going to be supported, they should be dropped from the configuration options of gnome-panel.