diff options
| author | Přemysl Janouch <p.janouch@gmail.com> | 2012-10-07 09:00:11 +0200 |
|---|---|---|
| committer | Přemysl Janouch <p.janouch@gmail.com> | 2012-10-08 07:29:58 +0200 |
| commit | 66aca31467d1ecd86b3033b28596f50c5bff8aaa (patch) | |
| tree | 6a755165755a13ca261328c95e06f8991f611295 | |
| parent | 3b85eeec8db436bb492b3a00476e9fbea0175bda (diff) | |
| download | logdiag-66aca31467d1ecd86b3033b28596f50c5bff8aaa.tar.gz logdiag-66aca31467d1ecd86b3033b28596f50c5bff8aaa.tar.xz logdiag-66aca31467d1ecd86b3033b28596f50c5bff8aaa.zip | |
Change main window dimensions.
Fine-tuned for my Ubuntu, I admit.
| -rw-r--r-- | src/ld-window-main.c | 3 |
1 files changed, 2 insertions, 1 deletions
diff --git a/src/ld-window-main.c b/src/ld-window-main.c index 43f4d33..634c121 100644 --- a/src/ld-window-main.c +++ b/src/ld-window-main.c @@ -292,6 +292,7 @@ ld_window_main_init (LdWindowMain *self) priv->lv_window, FALSE, FALSE); gtk_paned_pack2 (GTK_PANED (priv->paned), priv->scrolled_window, TRUE, TRUE); + gtk_paned_set_position (GTK_PANED (priv->paned), 180); /* Pack all widgets into the window. */ priv->vbox = gtk_vbox_new (FALSE, 0); @@ -308,7 +309,7 @@ ld_window_main_init (LdWindowMain *self) gtk_window_add_accel_group (GTK_WINDOW (self), gtk_ui_manager_get_accel_group (priv->ui_manager)); - gtk_window_set_default_size (GTK_WINDOW (self), 500, 400); + gtk_window_set_default_size (GTK_WINDOW (self), 640, 440); gtk_window_set_position (GTK_WINDOW (self), GTK_WIN_POS_CENTER); /* Initialize the backend. */ |