diff options
author | Brendan Taylor <whateley@gmail.com> | 2012-04-21 19:29:17 -0600 |
---|---|---|
committer | Brendan Taylor <whateley@gmail.com> | 2012-04-21 19:31:19 -0600 |
commit | 808561bb2a5f89a59cb354aea88f5363ef73c40f (patch) | |
tree | e6a221d5b15e6438f3655c1c5e5a93c1aea569d0 /src/callbacks.c | |
parent | 29d4d3b7952a687b4338ca69a6789739728d8df8 (diff) |
remove special handling of the SELECTION_CHANGED event
fixes #296 (primary selection replaces content of clipboard)
fixes slow insertion in some textareas (#295 ?)
Diffstat (limited to 'src/callbacks.c')
-rw-r--r-- | src/callbacks.c | 11 |
1 files changed, 0 insertions, 11 deletions
diff --git a/src/callbacks.c b/src/callbacks.c index 5b66905..eee9f69 100644 --- a/src/callbacks.c +++ b/src/callbacks.c @@ -95,17 +95,6 @@ load_error_cb (WebKitWebView* page, WebKitWebFrame* frame, gchar *uri, gpointer } void -selection_changed_cb(WebKitWebView *webkitwebview, gpointer ud) { - (void)ud; - gchar *tmp; - - webkit_web_view_copy_clipboard(webkitwebview); - tmp = gtk_clipboard_wait_for_text(gtk_clipboard_get (GDK_SELECTION_CLIPBOARD)); - send_event(SELECTION_CHANGED, NULL, TYPE_STR, tmp ? tmp : "", NULL); - g_free(tmp); -} - -void destroy_cb (GtkWidget* widget, gpointer data) { (void) widget; (void) data; |