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