From f173a6b461048f9d8c02a7b3945eabd7051d7101 Mon Sep 17 00:00:00 2001
From: Nico Alt <nicoalt@posteo.org>
Date: Mon, 25 Mar 2019 21:12:20 +0100
Subject: [PATCH] Make window larger and center stuff
---
src/briar/gtk/window.py | 10 ++++++++++
1 file changed, 10 insertions(+)
diff --git a/src/briar/gtk/window.py b/src/briar/gtk/window.py
index 8244894..be261b8 100644
--- a/src/briar/gtk/window.py
+++ b/src/briar/gtk/window.py
@@ -37,8 +37,18 @@ class Window(Gtk.ApplicationWindow):
def __setup_content(self):
self.__container = Container()
self.__container.show()
+ self.__container.set_hexpand(True)
+ self.__container.set_vexpand(True)
self.__vgrid = Gtk.Grid()
self.__vgrid.set_orientation(Gtk.Orientation.VERTICAL)
self.__vgrid.show()
self.__vgrid.add(self.__container)
self.add(self.__vgrid)
+ self.__setup_size((800, 600))
+
+ def __setup_size(self, size):
+ if len(size) == 2 and\
+ isinstance(size[0], int) and\
+ isinstance(size[1], int):
+ self.resize(size[0], size[1])
+
--
GitLab