changeset 406:b50dd16543b2

- small workaround for options gui NOTE: - dropdowns need some space below to "open"
author chewie@33b003aa-7bff-0310-803a-e67f0ece8222
date Fri, 29 Jan 2010 19:52:14 +0000
parents cfe2f6db4964
children f27880d4c08c
files demos/rio_de_hola/gui/settings.xml
diffstat 1 files changed, 1 insertions(+), 1 deletions(-) [+]
line wrap: on
line diff
--- a/demos/rio_de_hola/gui/settings.xml	Fri Jan 29 15:55:47 2010 +0000
+++ b/demos/rio_de_hola/gui/settings.xml	Fri Jan 29 19:52:14 2010 +0000
@@ -5,7 +5,7 @@
 			<Label text="Resolution:" />
 			<Label text="Renderer:" />
 		</VBox>
-		<VBox>
+		<VBox min_size="120,60">
 			<DropDown name="screen_resolution" min_size="120,0" />
 			<DropDown name="render_backend" min_size="120,0" />
 		</VBox>