diff options
| -rw-r--r-- | embed/webkit/webkit-embed.c | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/embed/webkit/webkit-embed.c b/embed/webkit/webkit-embed.c index 81095e411..31d272cf2 100644 --- a/embed/webkit/webkit-embed.c +++ b/embed/webkit/webkit-embed.c @@ -426,7 +426,7 @@ webkit_embed_init (WebKitEmbed *embed) gtk_window_set_title (GTK_WINDOW (embed->priv->inspector_window), _("Web Inspector")); gtk_window_set_default_size (GTK_WINDOW (embed->priv->inspector_window), - 400, 300); + 600, 400); g_signal_connect (embed->priv->inspector_window, "delete-event", G_CALLBACK (gtk_widget_hide_on_delete), |