From 773a71ca67dc3b637ee5bb578175c10914690574 Mon Sep 17 00:00:00 2001
From: Daniel Carl <danielcarl@gmx.de>
Date: Wed, 24 May 2017 21:43:02 +0200
Subject: [PATCH] Set window default size.

---
 src/config.def.h | 3 +++
 src/main.c       | 2 ++
 2 files changed, 5 insertions(+)

diff --git a/src/config.def.h b/src/config.def.h
index 44f9351..cdb6ed5 100644
--- a/src/config.def.h
+++ b/src/config.def.h
@@ -52,3 +52,6 @@
 #define SETTING_HOME_PAGE                     "about:blank"
 
 #define MAXIMUM_HINTS              500
+/* default window dimensions */
+#define WIN_WIDTH                  800
+#define WIN_HEIGHT                 600
diff --git a/src/main.c b/src/main.c
index d59f796..75affa8 100644
--- a/src/main.c
+++ b/src/main.c
@@ -682,6 +682,8 @@ static Client *client_new(WebKitWebView *webview, gboolean show)
                 (int)GDK_WINDOW_XID(gtk_widget_get_window(GTK_WIDGET(c->window))));
     }
 
+    gtk_window_set_default_size(GTK_WINDOW(c->window), WIN_WIDTH, WIN_HEIGHT);
+
     completion_init(c);
     map_init(c);
 
-- 
2.20.1