The sliding is a little disorienting, so turn it off by default and add a checkbutton for it in the gear menu.
87554eb widget-factory: Make the sliding opt-in
demos/widget-factory/widget-factory.c | 22 ++++++++++++++++++++++
demos/widget-factory/widget-factory.ui | 5 ++++-
2 files changed, 26 insertions(+), 1 deletion(-)
Upstream: git.gnome.org