widget-factory: Remove an unused size group

This was left behind when 361407201b removed
the unused popover that this size group applied to.
This commit is contained in:
Matthias Clasen 2020-11-17 07:33:46 -05:00
parent 2ef72442ec
commit 835c807d7a

View File

@ -3304,11 +3304,6 @@ bad things might happen.</property>
</object>
</child>
</object>
<object class="GtkSizeGroup" id="main-indicators">
<widgets>
<widget name="cut_copy_paste_filler"/>
</widgets>
</object>
<object class="GtkSizeGroup" id="basement-indicators"/>
<menu id="new_style_menu_model">
<section>