From aab803b7ae77935c03d7e943c21654632ce63ad7 Mon Sep 17 00:00:00 2001 From: Matthias Clasen Date: Sat, 27 Apr 2019 18:00:22 +0000 Subject: [PATCH] widget-factory: Make a resizing popover Add an expander to a popover to test how changing sizes works with popovers. --- demos/widget-factory/widget-factory.ui | 23 +++++++++++++++++++++-- 1 file changed, 21 insertions(+), 2 deletions(-) diff --git a/demos/widget-factory/widget-factory.ui b/demos/widget-factory/widget-factory.ui index d0994aad58..781d934668 100644 --- a/demos/widget-factory/widget-factory.ui +++ b/demos/widget-factory/widget-factory.ui @@ -3414,6 +3414,25 @@ bad things might happen. + + + + + Extra Info + + + + + Tell me anything… + + + + 1 + 2 + 2 + + + end @@ -3421,7 +3440,7 @@ bad things might happen. gear_menu 1 - 2 + 3 @@ -3437,7 +3456,7 @@ bad things might happen. 2 - 2 + 3