From 211e5314fbd356803dc1f19e187edea7caaf7a0d Mon Sep 17 00:00:00 2001 From: Christian Dywan Date: Thu, 18 Nov 2010 20:52:53 +0100 Subject: [PATCH] Enable or disable Java applet tag with plugins --- midori/midori-websettings.c | 8 ++++++-- 1 file changed, 6 insertions(+), 2 deletions(-) diff --git a/midori/midori-websettings.c b/midori/midori-websettings.c index 4aa20e72..068624cc 100644 --- a/midori/midori-websettings.c +++ b/midori/midori-websettings.c @@ -1438,8 +1438,12 @@ midori_web_settings_set_property (GObject* object, g_value_get_boolean (value), NULL); break; case PROP_ENABLE_PLUGINS: - g_object_set (web_settings, "WebKitWebSettings::enable-plugins", - g_value_get_boolean (value), NULL); + g_object_set (web_settings, + "WebKitWebSettings::enable-plugins", g_value_get_boolean (value), + #if WEBKIT_CHECK_VERSION (1, 1, 22) + "enable-java-applet", g_value_get_boolean (value), + #endif + NULL); break; case PROP_ENABLE_DEVELOPER_EXTRAS: g_object_set (web_settings, "WebKitWebSettings::enable-developer-extras",