more menu options desensitized when disconnected

diff --git a/disobedience/choose.c b/disobedience/choose.c
index f13362ae59ec487f081657cf667185ff1e7122cb..6db94229d1aea68e852f06b3de96fd11a5fe1795 100644 (file)
--- a/disobedience/choose.c
+++ b/disobedience/choose.c
@@ -937,7 +937,7 @@ static void activate_properties(GtkMenuItem attribute((unused)) *menuitem,
 }
 
 static gboolean sensitive_play(struct choosenode attribute((unused)) *cn) {
-  return !!files_selected;
+  return !!files_selected && disorder_eclient_connected(client);
 }
 
 #if 0
@@ -947,13 +947,13 @@ static gboolean sensitive_remove(struct choosenode attribute((unused)) *cn) {
 #endif
 
 static gboolean sensitive_properties(struct choosenode attribute((unused)) *cn) {
-  return !!files_selected;
+  return !!files_selected && disorder_eclient_connected(client);
 }
 
 /* Main menu plumbing ------------------------------------------------------ */
 
 static int choose_properties_sensitive(GtkWidget attribute((unused)) *w) {
-  return !!files_selected;
+  return !!files_selected && disorder_eclient_connected(client);
 }
 
 static int choose_selectall_sensitive(GtkWidget attribute((unused)) *w) {