Hmm, jak tak na to koukám, tak i nastavení na 0 tam nechává jeden pixel. To je asi proto, aby bylo kam najet myší, když si chcete panel zobrazit. Osobně si ale myslím, že o řadu širokou jeden pixel žádná obrazovka fakt nebude chudší...
Každopádně: v GNOME Bugzille je už můj požadavek na přidání políčka do dialogu Vlastnosti, tak uvidíme, co s tím vývojáři udělají.