From 4c7a7f7132b60ce652fb464af74490df437fdc43 Mon Sep 17 00:00:00 2001
From: Pavel Roskin <proski@gnu.org>
Date: Tue, 29 May 2001 22:50:59 +0000
Subject: [PATCH] * gcmd.c (gnome_listing_cmd): Remove, it unused.
 (gnome_compare_panels): Likewise.

---
 gnome/ChangeLog |  3 +++
 gnome/gcmd.c    | 24 ------------------------
 2 files changed, 3 insertions(+), 24 deletions(-)

diff --git a/gnome/ChangeLog b/gnome/ChangeLog
index 7926d6e61..935faf6ff 100644
--- a/gnome/ChangeLog
+++ b/gnome/ChangeLog
@@ -1,5 +1,8 @@
 2001-05-29  Pavel Roskin  <proski@gnu.org>
 
+	* gcmd.c (gnome_listing_cmd): Remove, it unused.
+	(gnome_compare_panels): Likewise.
+
 	* Makefile.in: Don't use subshell.o.
 
 2001-05-26  Pavel Roskin  <proski@gnu.org>
diff --git a/gnome/gcmd.c b/gnome/gcmd.c
index c176c5765..e21014ff1 100644
--- a/gnome/gcmd.c
+++ b/gnome/gcmd.c
@@ -29,30 +29,6 @@
 
 static char *panelize_section = "Panelize";
 
-void
-gnome_listing_cmd (GtkWidget *widget, WPanel *panel)
-{
-	int   view_type, use_msformat;
-	char  *user, *status;
-
-	view_type = display_box (panel, &user, &status, &use_msformat, get_current_index ());
-
-	if (view_type == -1)
-		return;
-
-	configure_panel_listing (panel, view_type, use_msformat, user, status);
-}
-
-void
-gnome_compare_panels (void)
-{
-	if (get_other_panel () == NULL){
-		message (1, MSG_ERROR, _(" There is no other panel to compare contents to "));
-		return;
-	}
-	compare_dirs_cmd ();
-}
-
 void
 gnome_open_terminal_with_cmd (const char *command)
 {