comparison: pidgin/gtkdebug.c
pidgin/gtkdebug.c
- changeset 33238
- bbfcd01c57b8
- parent 33170
- ce4447562d64
- child 33242
- f63b51e608fe
equal
deleted
inserted
replaced
| 33237:2574432da068 | 33238:bbfcd01c57b8 |
|---|---|
| 988 g_free(ts_s); | 988 g_free(ts_s); |
| 989 g_free(cat_s); | 989 g_free(cat_s); |
| 990 g_free(esc_s); | 990 g_free(esc_s); |
| 991 g_free(tmp); | 991 g_free(tmp); |
| 992 | 992 |
| 993 gtk_webview_append_html(GTK_WEBVIEW(debug_win->text), s); | 993 //XXX: gtk_webview_append_html does delayed insert of new div, which is |
| 994 // needed by filtering below | |
| 995 //gtk_webview_append_html(GTK_WEBVIEW(debug_win->text), s); | |
| 996 { | |
| 997 WebKitDOMDocument *dom = NULL; | |
| 998 WebKitDOMHTMLElement *body = NULL; | |
| 999 dom = webkit_web_view_get_dom_document(WEBKIT_WEB_VIEW(debug_win->text)); | |
| 1000 if (dom) | |
| 1001 body = webkit_dom_document_get_body(dom); | |
| 1002 if (body) | |
| 1003 webkit_dom_html_element_insert_adjacent_html(body, "beforeend", s, NULL); | |
| 1004 } | |
| 994 | 1005 |
| 995 if (gtk_toggle_tool_button_get_active(GTK_TOGGLE_TOOL_BUTTON(debug_win->filter))) { | 1006 if (gtk_toggle_tool_button_get_active(GTK_TOGGLE_TOOL_BUTTON(debug_win->filter))) { |
| 996 WebKitDOMDocument *dom = NULL; | 1007 WebKitDOMDocument *dom = NULL; |
| 997 WebKitDOMHTMLElement *body = NULL; | 1008 WebKitDOMHTMLElement *body = NULL; |
| 998 WebKitDOMNode *div = NULL; | 1009 WebKitDOMNode *div = NULL; |
