From 361407201b88c3aae2eee8c05857153f3d233737 Mon Sep 17 00:00:00 2001 From: Matthias Clasen Date: Mon, 16 Nov 2020 15:22:12 -0500 Subject: [PATCH] widget-factory: Remove an unused popover We are no longer using the hand-rolled variant of that popover on page 3, so drop it from the ui file. --- demos/widget-factory/widget-factory.ui | 235 ------------------------- 1 file changed, 235 deletions(-) diff --git a/demos/widget-factory/widget-factory.ui b/demos/widget-factory/widget-factory.ui index 3a7e2533fa..06f1581e1c 100644 --- a/demos/widget-factory/widget-factory.ui +++ b/demos/widget-factory/widget-factory.ui @@ -3304,241 +3304,6 @@ bad things might happen. - - - - - - - main - - - vertical - - - - - - - - printer-symbolic - - - 1 - win.print - 1 - center - - - - - - - - emblem-shared-symbolic - - - 1 - app.share - 1 - center - - - - - - - - - - - Open in New Window - app.open-in - main-indicators - - - - - - - - - - - - - - Edit - 0 - 1 - - - - - - - edit-cut-symbolic - - - 1 - - - - - - - edit-copy-symbolic - - - 1 - - - - - - - edit-paste-symbolic - - - 1 - - - - - - - - - - Pin - app.pin - main-indicators - - - - - Select Labels… - app.labels - main-indicators - - - - - Share… - app.share - main-indicators - - - - - - - - Basement - basement - main-indicators - - - - - - - - Large - app.size - 'large' - main-indicators - - - - - Medium - app.size - 'medium' - main-indicators - - - - - Small - app.size - 'small' - main-indicators - - - - - - - - Move to Trash - win.delete - main-indicators - - - - - - - - - basement - - - vertical - - - Basement - title - main - - - - - - - - Berk - app.berk - basement-indicators - - - - - Broni - app.broni - basement-indicators - - - - - Drutt - app.drutt - basement-indicators - - - - - The Thing Upstairs - app.upstairs - basement-indicators - - - - - - - - -