From: Daniel Carl <danielcarl@gmx.de>
Date: Sat, 2 Feb 2013 22:46:51 +0000 (+0100)
Subject: Set the size of inspector pane to 1/3 of window height.
X-Git-Url: https://git.owens.tech/style.css/style.css/git?a=commitdiff_plain;h=fccaddb977106b4d027d5a1e54319934a03c7a48;p=vimb.git

Set the size of inspector pane to 1/3 of window height.
---

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));