diff -uNr devhelp-2.32.0/src/dh-window.c devhelp-2.32.0p/src/dh-window.c
--- devhelp-2.32.0/src/dh-window.c	2010-08-02 09:32:49.000000000 -0500
+++ devhelp-2.32.0p/src/dh-window.c	2011-01-27 22:56:05.607523000 -0600
@@ -1443,6 +1443,17 @@
                                        DhWindow       *window)
 {
         if (event->button == 3) {
+                GtkWidget *menu = NULL;
+                DhWindowPriv  *priv = window->priv;
+
+                /* Using gtk_widget_get_parent() because gtk_ui_manager_get_widget("/MenuBar/EditMenu")
+                 * was returning a 'GtkImageMenuItem', and not a 'GtkMenu'. So gtk_menu_popup() would fail.
+                 */
+                menu = gtk_widget_get_parent (gtk_ui_manager_get_widget (priv->manager,
+                                                                         "/MenuBar/EditMenu/Copy"));
+                gtk_menu_popup (GTK_MENU(menu), NULL, NULL, NULL,
+                                NULL, event->button, event->time);
+
                 return TRUE;
         }
 
