comparison: pidgin/plugins/webkit.c
pidgin/plugins/webkit.c
- changeset 34298
- 0636daf13ce3
- parent 32802
- 2421bb0efb2e
- child 34299
- 419c033e46b9
equal
deleted
inserted
replaced
| 34297:0f1f0b8c84f8 | 34298:0636daf13ce3 |
|---|---|
| 88 GtkWidget *webview = gtkconv->webview; | 88 GtkWidget *webview = gtkconv->webview; |
| 89 GtkWidget *win; | 89 GtkWidget *win; |
| 90 WebKitWebSettings *settings; | 90 WebKitWebSettings *settings; |
| 91 | 91 |
| 92 win = g_object_get_data(G_OBJECT(webview), "inspector-window"); | 92 win = g_object_get_data(G_OBJECT(webview), "inspector-window"); |
| 93 gtk_widget_destroy(win); | 93 if (win != NULL) |
| 94 gtk_widget_destroy(win); | |
| 94 g_object_set_data(G_OBJECT(webview), "inspector-window", NULL); | 95 g_object_set_data(G_OBJECT(webview), "inspector-window", NULL); |
| 95 | 96 |
| 96 settings = webkit_web_view_get_settings(WEBKIT_WEB_VIEW(webview)); | 97 settings = webkit_web_view_get_settings(WEBKIT_WEB_VIEW(webview)); |
| 97 | 98 |
| 98 g_object_set(G_OBJECT(settings), "enable-developer-extras", FALSE, NULL); | 99 g_object_set(G_OBJECT(settings), "enable-developer-extras", FALSE, NULL); |
