From a4ea0c630ac9cac8a76fdb19ea1d3a02ed4e49aa Mon Sep 17 00:00:00 2001 From: Julian Schacher Date: Sun, 4 Jul 2021 02:20:56 +0200 Subject: [PATCH] Update: Make the preferences window content scrollable Previously it could happen that the preferences window got larger than the height of the screen (e.g. when having a bunch of items and a low vertical screen resolution). Fix this, by making the preferences window content scrollable. Also introduce a nice default window size. --- src/prefs-widget.ui | 124 +++++++++++++++++++++++--------------------- src/prefs.js | 23 +++++++- 2 files changed, 86 insertions(+), 61 deletions(-) diff --git a/src/prefs-widget.ui b/src/prefs-widget.ui index a153981..eaa64e4 100644 --- a/src/prefs-widget.ui +++ b/src/prefs-widget.ui @@ -18,81 +18,85 @@ along with this program. If not, see . --> -