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