# HG changeset patch # User Teemu Piippo # Date 1374079519 -10800 # Node ID f9893eea978b64a3a59582b484749e301f5eb5a8 # Parent e8f645d9f28fc01def8a4b52ccb49f9714eea691 shrink a little diff -r e8f645d9f28f -r f9893eea978b src/ui/demoprompt.ui --- a/src/ui/demoprompt.ui Wed Jul 17 19:44:46 2013 +0300 +++ b/src/ui/demoprompt.ui Wed Jul 17 19:45:19 2013 +0300 @@ -7,7 +7,7 @@ 0 0 319 - 307 + 164