[devhelp/webkit2] Port editing commands to WebKit2

[Carlos Garcia Campos <carlosgc src gnome org>]

commit 6b7bbe8bd6e71a834223f6870c21e3876973f55c
Author: Carlos Garcia Campos <cgarcia igalia com>
Date:   Wed Feb 8 13:13:55 2012 +0100

    Port editing commands to WebKit2

 src/dh-window.c |    4 +---
 1 files changed, 1 insertions(+), 3 deletions(-)
---
diff --git a/src/dh-window.c b/src/dh-window.c
index 231a19f..b5065e7 100644
--- a/src/dh-window.c
+++ b/src/dh-window.c
@@ -256,12 +256,10 @@ window_activate_copy (GtkAction *action,
                 gtk_clipboard_set_text (clipboard,
                                 dh_link_get_name(priv->selected_search_link), -1);
         } else {
-#if 0 /* Editor API */
                 WebKitWebView *web_view;
 
                 web_view = window_get_active_web_view (window);
-                webkit_web_view_copy_clipboard (web_view);
-#endif
+                webkit_web_view_execute_editing_command (web_view, WEBKIT_EDITING_COMMAND_COPY);
         }
 }