[devhelp] Port editing commands to WebKit2

[Carlos Garcia Campos <carlosgc src gnome org>]

commit 50d31e65f87d5c5578da1734a29777cbb18b7d17
Author: Carlos Garcia Campos <cgarcia igalia com>
Date:   Fri Mar 2 14:26:24 2012 +0100

    Port editing commands to WebKit2

 src/dh-window.c |    6 +++---
 1 files changed, 3 insertions(+), 3 deletions(-)
---
diff --git a/src/dh-window.c b/src/dh-window.c
index 4e30102..eb5de50 100644
--- a/src/dh-window.c
+++ b/src/dh-window.c
@@ -265,12 +265,12 @@ window_activate_copy (GtkAction *action,
                 gtk_clipboard_set_text (clipboard,
                                 dh_link_get_name(priv->selected_search_link), -1);
         } else {
-#ifdef HAVE_WEBKIT2
-/* TODO: Editor API */
-#else
                 WebKitWebView *web_view;
 
                 web_view = window_get_active_web_view (window);
+#ifdef HAVE_WEBKIT2
+                webkit_web_view_execute_editing_command (web_view, WEBKIT_EDITING_COMMAND_COPY);
+#else
                 webkit_web_view_copy_clipboard (web_view);
 #endif
         }