| 1352 *****************************************************************************/ |
1352 *****************************************************************************/ |
| 1353 |
1353 |
| 1354 GtkWidget * |
1354 GtkWidget * |
| 1355 gtk_webview_new(void) |
1355 gtk_webview_new(void) |
| 1356 { |
1356 { |
| 1357 return GTK_WIDGET(g_object_new(gtk_webview_get_type(), NULL)); |
1357 WebKitWebView *webview = WEBKIT_WEB_VIEW(g_object_new(gtk_webview_get_type(), NULL)); |
| |
1358 WebKitWebSettings *settings = webkit_web_view_get_settings(webview); |
| |
1359 |
| |
1360 g_object_set(G_OBJECT(settings), "default-encoding", "utf-8", NULL); |
| |
1361 #ifdef _WIN32 |
| |
1362 /* XXX: win32 WebKitGTK replaces backslash with yen sign for |
| |
1363 * "sans-serif" font. We should figure out, how to disable this |
| |
1364 * behavior, but for now I will just apply this simple hack (using other |
| |
1365 * font family). |
| |
1366 */ |
| |
1367 g_object_set(G_OBJECT(settings), "default-font-family", "Verdana", NULL); |
| |
1368 #endif |
| |
1369 webkit_web_view_set_settings(webview, settings); |
| |
1370 |
| |
1371 return GTK_WIDGET(webview); |
| 1358 } |
1372 } |
| 1359 |
1373 |
| 1360 static void |
1374 static void |
| 1361 gtk_webview_finalize(GObject *webview) |
1375 gtk_webview_finalize(GObject *webview) |
| 1362 { |
1376 { |