From 0973cc7f8644ac815f77a85d7f70182b9976903b Mon Sep 17 00:00:00 2001 From: Olivier Goffart Date: Tue, 27 Oct 2020 09:01:09 +0100 Subject: [PATCH] Small changes to prnitdemo layout Ideally we should convert to box layouts anyway --- examples/printerdemo/ui/printerdemo.60 | 8 +++++--- 1 file changed, 5 insertions(+), 3 deletions(-) diff --git a/examples/printerdemo/ui/printerdemo.60 b/examples/printerdemo/ui/printerdemo.60 index 7e71e166a..01d3b4393 100644 --- a/examples/printerdemo/ui/printerdemo.60 +++ b/examples/printerdemo/ui/printerdemo.60 @@ -35,7 +35,7 @@ CopyPage := Page { Row { preview := Preview { - minimum_height: root.height - layout.padding_top - layout.padding_bottom; + height: root.height - layout.padding_top - layout.padding_bottom; } GridLayout { Row { @@ -55,6 +55,9 @@ CopyPage := Page { font_size: 28px; } } + Row { + Rectangle {} + } } } } @@ -153,7 +156,7 @@ PrintPage := Page { Row { preview := Preview { - minimum_height: root.height - layout.padding_top - layout.padding_bottom; + height: root.height - layout.padding_top - layout.padding_bottom; } GridLayout { Row { @@ -191,7 +194,6 @@ PrintPage := Page { font_size: 28px; } } - Rectangle {} } } }