From fccaddb977106b4d027d5a1e54319934a03c7a48 Mon Sep 17 00:00:00 2001
From: Daniel Carl <danielcarl@gmx.de>
Date: Sat, 2 Feb 2013 23:46:51 +0100
Subject: [PATCH] Set the size of inspector pane to 1/3 of window height.

---
 src/main.c | 7 +++++++
 1 file changed, 7 insertions(+)

diff --git a/src/main.c b/src/main.c
index aa24f2f..c7d897c 100644
--- a/src/main.c
+++ b/src/main.c
@@ -219,11 +219,18 @@ static WebKitWebView* vp_inspector_new(WebKitWebInspector* inspector, WebKitWebV
 static gboolean vp_inspector_show(WebKitWebInspector* inspector)
 {
     WebKitWebView* webview;
+    gint height;
 
     if (vp.state.is_inspecting) {
         return FALSE;
     }
+
     webview = webkit_web_inspector_get_web_view(inspector);
+
+    /* use about 1/3 of window height for the inspector */
+    gtk_window_get_size(GTK_WINDOW(vp.gui.window), NULL, &height);
+    gtk_paned_set_position(GTK_PANED(vp.gui.pane), 2 * height / 3);
+
     gtk_paned_pack2(GTK_PANED(vp.gui.pane), GTK_WIDGET(webview), TRUE, TRUE);
     gtk_widget_show(GTK_WIDGET(webview));
 
-- 
2.20.1