--- gdm/gui/simple-greeter/gdm-greeter-panel.c.orig	2010-12-03 10:22:38.535419689 -0500
+++ gdm/gui/simple-greeter/gdm-greeter-panel.c	2010-12-03 10:23:03.850400592 -0500
@@ -793,7 +793,7 @@
                 gtk_widget_show (panel->priv->hostname_label);
         }
 
-        if (panel->priv->display_is_local || get_show_restart_buttons (panel)) {
+        if (panel->priv->display_is_local && get_show_restart_buttons (panel)) {
                 GtkWidget *menu_item;
                 GtkWidget *image;
 
