From 59351001817ec03ae0e22e292e271cb9fcf3916b Mon Sep 17 00:00:00 2001
From: nicm <nicm>
Date: Wed, 22 Apr 2020 06:57:13 +0000
Subject: [PATCH] Change so main-pane-width and height can be given as a
 percentage.