From da089c843a97895b69cabdda9332483cfd790b9f Mon Sep 17 00:00:00 2001
From: Richard Harrison <rjh@zaretto.com>
Date: Sun, 2 Sep 2018 13:57:29 +0200
Subject: [PATCH] Change default height of property browswer to 500 pixels.

Realistically 768 pixels is the minimum height for most displays these days, so 500 is a reasonable figure for all displays, and it does make it easier to operate.
---
 gui/dialogs/property-browser.xml | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/gui/dialogs/property-browser.xml b/gui/dialogs/property-browser.xml
index 3322872c4..f61289beb 100644
--- a/gui/dialogs/property-browser.xml
+++ b/gui/dialogs/property-browser.xml
@@ -54,7 +54,7 @@
 
 	<property-list>
 		<name>property-list</name>
-		<pref-height>250</pref-height>
+		<pref-height>500</pref-height>
 		<halign>fill</halign>
 		<valign>fill</valign>
 		<stretch>true</stretch>